VoltDB/voltdb — pull request #222 by jhugg (2012-10-09 14:16:57+00:00)
Title: Eng 3152 liveindex

Fix the way indexes are deemed identical in both the EE and Java.