branch bytecode verification

Wed Jul 18 11:18:00 GMT 2001

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.