2223242526272829303132
System.out.println("Hit enter to stop."); while (true) { char c = (char) System.in.read(); if (c == '\n') { System.out.println("Shuting down"); masterElector.stop(); return; } } } finally { pool.destroy();