if (seen == MONITOREXIT && getPrevOpcode(2) == MONITORENTER)
if (seen == MONITOREXIT && (getPrevOpcode(2) == MONITORENTER || getPrevOpcode(1) == MONITORENTER) )
         public void sawOpcode(int seen) {		if (seen == MONITOREXIT && getPrevOpcode(2) == MONITORENTER)		  bugReporter.reportBug(new BugInstance(this, "ESync_EMPTY_SYNC", NORMAL_PRIORITY)                                .addClassAndMethod(this)                                .addSourceLine(this));		}