---

BSLObserver.java

public class BSLObserver 
{
     public static Subject quantification$s;
     public static Watcher quantification$o;
     
     public static void main (java.lang.String[] args)
     {
          Subject s = new Subject();
          if (quantification$s  == null)
          if (Bandera.choose())
          quantification$s = s;
          (new SubjectThread(s)).start();
          Watcher w1 = new Watcher();
          if (quantification$o  == null)
          if (Bandera.choose())
          quantification$o = w1;
          Watcher w2 = new Watcher();
          if (quantification$o  == null)
          if (Bandera.choose())
          quantification$o = w2;
          Watcher w;
          while (true)
          {
               if (edu.ksu.cis.bandera.abstraction.Abstraction.choose())
               {
                    w = w1;
               } else
               {
                    w = w2;
               }
               s.addObserver(w);
               s.deleteObserver(w);
          }
     }
}

---