[JENKINS-14494] Make compilable with JDK 1.7.