writer.print("    Object " + fix_name(slot, false));
writer.print("    private Object " + fix_name(slot, false));
    private void writeSlot(String slot, Object value)    {	writer.print("    Object " + fix_name(slot, false));		if (value != UNDEFINED)  writer.print(" = \"" +value+ "\"");	writer.println(";");    }