public int getDelta(Instruction ins, ThisValueFrame frame) throws DataflowAnalysisException {
public int getDelta(Instruction ins, ValueNumberFrame frame) throws DataflowAnalysisException {
	public int getDelta(Instruction ins, ThisValueFrame frame) throws DataflowAnalysisException {		int delta = 0;		// Update when we see a MONITORENTER or MONITOREXIT on the		// "this" reference		if (ins instanceof MONITORENTER) {			if (frame != null && frame.getTopValue().isThis())				++delta;		} else if (ins instanceof MONITOREXIT) {			if (frame != null && frame.getTopValue().isThis())				--delta;		}		return delta;	}