String name = jreNameWriter.appendSymbol(clasz, suffix).toString();
String name = jreNameWriter.toString(clasz, suffix);
    public String getJREClassName(Symbol clasz) {        assert clasz.isClassType(): Debug.show(clasz);        if (clasz == definitions.ANY_CLASS ||            clasz == definitions.ANYREF_CLASS)            return getJREClassName(definitions.OBJECT_CLASS);        String suffix = clasz.isModuleClass() && !clasz.isJava() ? "$" : "";        String name = jreNameWriter.appendSymbol(clasz, suffix).toString();        jreNameWriter.setStringBuffer(null);        return name;    }