for (;;) {
String s = JGrep.readIdentifierPattern(parser);
if (parser.peekOperator("(")) {
mit.methodNamePattern = s;
parser.eatToken();
List l = new ArrayList();
if (!parser.peekOperator(")")) {
for (;;) {
l.add(JGrep.readIdentifierPattern(parser));
if (parser.peekOperator(")")) break;