Infinispan is now building with JDK7, so I finally managed to send the Infinispan PR:
https://github.com/infinispan/infinispan/pull/2556

I guess it's up to Infinispan team to merge but you're very welcome to get involved as well.