[Jrst-commits] 01/01: restore java 7 compatibility