question: public static int optionLength ( String option ) { if ( option . equals ( "-batchID" ) ) { return 2 ; } else { return 0 ; } }
target:  Doclet class method that indicates that this doclet class recognizes (only) the "-batchID" option on the javadoc command line, and that the "-batchID" option comprises two arguments on the javadoc command line.