runtimeverification/javamop — pull request #31 by Databean (2014-06-30 17:16:56+00:00)
Title: Fix statistics

Attempted fix for https://github.com/runtimeverification/javamop/issues/2.