Fri, 25 Apr 2014 23:29:54 +0200 wenzelm modernized theory setup;
Fri, 25 Apr 2014 22:10:03 +0200 wenzelm just one default thread pool (which is hardwired to Runtime.availableProcessors);
Fri, 25 Apr 2014 21:31:39 +0200 wenzelm tuned signature -- separate pool for JFuture tasks, which can be canceled;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip