if (foundSynthetic
if (isExternalizable && !hasPublicVoidConstructor && !isAbstract) bugReporter.reportBug(new BugInstance("SE_NO_SUITABLE_CONSTRUCTOR_FOR_EXTERNALIZATION", directlyImplementsExternalizable ? HIGH_PRIORITY : NORMAL_PRIORITY) .addClass(thisClass.getClassName())); if (foundSynthetic  && !isExternalizable
	public void visitAfter(JavaClass obj) {	// Downgrade class-level warnings if it's a GUI class.	if (isGUIClass) return;	int priority = isGUIClass ? LOW_PRIORITY : NORMAL_PRIORITY;	if (foundSynthetic 		&& isSerializable && !isAbstract && !sawSerialVersionUID)		bugReporter.reportBug(new BugInstance("SE_NO_SERIALVERSIONID", priority).addClass(this));	if (writeObjectIsSynchronized && !foundSynchronizedMethods)		bugReporter.reportBug(new BugInstance("WS_WRITEOBJECT_SYNC", priority).addClass(this));        }