VoltDB/voltdb — pull request #1002 by rmorgenstein (2013-12-03 17:24:25+00:00)
Title: Release 4.0

Merge final release 4.0 into master.