void function ( ) { if ( execService != null && ! execService . isShutdown ( ) ) { execService . shutdown ( ) ; } }
shutdown the frege executor service if it exists . concode_field_sep java.util.concurrent.ExecutorService execService concode_elem_sep java.util.concurrent.ForkJoinPool fjpool concode_elem_sep Object lock concode_field_sep boolean fork concode_elem_sep void notifyOne concode_elem_sep java.util.concurrent.ExecutorService executorService concode_elem_sep void notifyAll concode_elem_sep java.util.concurrent.ExecutorService setFregeExecutorService concode_elem_sep void waitFor concode_elem_sep java.util.concurrent.ForkJoinPool setFregeForkJoinPool