throw new SemanticException("Duplicate enum constant \"" + ej + "\" at " + ej.position());
throw new SemanticException("Duplicate enum constant \"" + ej + "\" at ", ej.position());
    protected void duplicateEnumConstantCheck(TypeChecker tc) throws SemanticException {        JL5ParsedClassType type = (JL5ParsedClassType)tc.context().currentClass();        ArrayList l = new ArrayList(type.enumConstants());        for (int i = 0; i < l.size(); i++){            EnumConstant ei = (EnumConstant) l.get(i);            for (int j = 0; j < l.size(); j++){                EnumConstant ej = (EnumConstant) l.get(j);                if (ei.name().equals(ej.name())){                    throw new SemanticException("Duplicate enum constant \"" + ej + "\" at " + ej.position());                }            }        }    }