bugReporter.reportBug(new BugInstance("SE_NO_SERIALVERSIONID", NORMAL_PRIORITY).addClass(this));
bugReporter.reportBug(new BugInstance("SE_NO_SERIALVERSIONID", priority).addClass(this));
	public void visitAfter(JavaClass obj) {	if (foundSynthetic 		&& isSerializable && !isAbstract && !sawSerialVersionUID)		bugReporter.reportBug(new BugInstance("SE_NO_SERIALVERSIONID", NORMAL_PRIORITY).addClass(this));	if (writeObjectIsSynchronized && !foundSynchronizedMethods)		bugReporter.reportBug(new BugInstance("WS_WRITEOBJECT_SYNC", NORMAL_PRIORITY).addClass(this));        }