VoltDB/voltdb — pull request #728 by benjaminballard (2013-08-29 15:37:24+00:00)
Title: Fixed bug in logic to determine # of heavyweight threads

and a typo