private int findEndOfLabel(String literal){
  return literal.lastIndexOf("\"");
}

private int findEndOfLabel ( String literal ) { return literal . lastIndexOf ( "\"" ) ; }
finds the end of the label in a literal string .
