Erik Joelsson Tue, 28 May 2013 05:34:00 -0700
Simple patch making sure that JOBS is never set to 0.
http://cr.openjdk.java.net/~erikj/8013920/webrev.root.01/ /Erik