public void storeClass(DataOutputStream out) throws IOException {
		if (GlobalOptions.verboseLevel > 0)
			GlobalOptions.err.println("Writing " + this);
		info.write(out);
		info = null;
		fieldIdents = methodIdents = null;
	}