Beispiel #1
0
 public void stop() {
   super.stop(); // sets leaving=false
   merger.stop();
 }