458459460461462463464465466467
exitState); master.trackStateChanges(workspace, stateListener); final TerminationListener termListener = new LatchUsingTerminationListener(this.pr, terminationLatch); master.trackTerminationChanges(workspace, termListener); }