private void writeSetter(PrintWriter writer,
private void writeSetter(PrintWriter writer, String prototype,
    private void writeSetter(PrintWriter writer, 			     String slot,			     Attributes attrs)    {	String accessor_name = fixName(slot, true);	String fixed_name = fixName(slot, false);	boolean memberp = isMember(attrs);	writer.println("\n\n    public void set" +accessor_name+		       "(Object new_value)");	writer.println("    {");	if (memberp)	    writer.println("        this." +fixed_name+ " = new_value;");	else	    writer.println("        setProperty(\"" +slot+ "\", new_value);");	writer.println("        slotModified(\"" +slot+ "\", new_value);");	writer.println("    }");    }