@Override
 public Options getOptions(DocumentOperationInput operationInput)
     throws DocumentOperationException {
   Options options = new Options(GoToDocumentsOperation.class);
   options.addLabel("Unique IDs (URNs), one per line:", false, true);
   String defaultString = "";
   for (AnnotatedPluginDocument annotatedPluginDocument :
       operationInput.getInputDocumentsArray()) {
     defaultString += annotatedPluginDocument.getURN() + "\n";
   }
   options
       .addMultipleLineStringOption(URNS_OPTION_NAME, "", defaultString, 5, false)
       .setValue(defaultString);
   return options;
 }