infinispan/infinispan — pull request #1076 by mmarkus (2012-04-23 08:39:07+00:00)
Title: fixed compilation issue

also cherry-pick on 5.1.x