VoltDB/voltdb — pull request #138 by jxchinaren (2012-08-20 13:43:51+00:00)
Title: Eng 1743

Changes according to Paul's suggestion.