final public String string(boolean requireEOF) throws ParseException {
  Token t = null;
    t = jj_consume_token(STRING);
    eof(requireEOF);
    {if (true) return t.image.substring(1, t.image.length()-1);}
    throw new Error("Missing return statement in function");
  }