branch bytecode verification

[Tony Kimball]

Quoth Alexandre Petit-Bianco on Wednesday, 18 July:
: 
: Verification errors happen (and some times rightfully so.) But we'll
: need either a test case or a description on how to reproduce it.

I submitted a bug.  But the upshot is that

public class WriterPreferenceReadWriteLock {
  protected long waitingReaders_ = 0;
  protected synchronized void cancelledWaitingReader() { --waitingReaders_; return; }
}

fails the verifier.  Changing 'long' to 'int', it passes the verifier.