private static void addGroupTypeFields(String t, Tokenizer st, Types.GroupBuilder builder) { check(t, "{", "start of message", st); while (!(t = st.nextToken()).equals("}")) { addType(t, st, builder); } }