hibernate/hibernate-ogm — pull request #127 by Sanne (2012-08-03 13:39:44+00:00)
Title: Small changes

trivial small improvements in the build.