VoltDB/voltdb — pull request #581 by paulmartel (2013-06-25 18:17:03+00:00)
Title: Eng 3038

Mike A's work, r=pmartel