hazelcast/hazelcast — pull request #1440 by pveentjer (2013-12-20 18:50:24+00:00)
Title: Micro change to see if the jenkins pull request builder is working corre...

...ctly