if (isSerializable && !sawSerialVersionUID)
if (isSerializable && !isAbstract && !sawSerialVersionUID)
    public void visitJavaClass(JavaClass obj)     {      sawSerialVersionUID = false;       super.visitJavaClass(obj);        constant_pool.accept(this);    		isSerializable = false;		String [] interface_names = obj.getInterfaceNames();		for(int i=0; i < interface_names.length; i++) {			if (interface_names[i].equals("java.io.Serializable")) {				isSerializable = true;			}		}        Field[] fields = obj.getFields();        for(int i = 0; i < fields.length; i++) fields[i].accept(this);	if (isSerializable && !sawSerialVersionUID)//		bugReporter.reportBug(BugInstance.inClass("SE_NO_SERIALVERSIONID", UNKNOWN_PRIORITY, this));		bugReporter.reportBug(new BugInstance("SE_NO_SERIALVERSIONID", NORMAL_PRIORITY).addClass(this));	synchronizedMethods = 0;	writeObjectIsSynchronized = false;        Method[] methods = obj.getMethods();        for(int i = 0; i < methods.length; i++) methods[i].accept(this);	if (writeObjectIsSynchronized && synchronizedMethods == 0)//		bugReporter.reportBug(BugInstance.inClass("WS_WRITEOBJECT_SYNC", UNKNOWN_PRIORITY, this));		bugReporter.reportBug(new BugInstance("WS_WRITEOBJECT_SYNC", NORMAL_PRIORITY).addClass(this));        }