runtimeverification/javamop — pull request #38 by Databean (2014-07-07 19:59:25+00:00)
Title: Fixed Windows file cleanup

Fix for #35.