[Wikitty-commits] 01/01: Fix build on jdk 7