---

MainReadWriteLock.java

public class MainReadWriteLock 
{
     public static WriterLock quantification$wl2;
     public static WriterLock quantification$wl1;
     
     public static void main (java.lang.String[] args)
     {
          ReadWriteLock rw = new WriterPreferenceReadWriteLock();
          (new ReaderThread(rw)).start();
          (new WriterThread(rw)).start();
          (new WriterThread(rw)).start();
     }
}

---