Make compilable under Java 1.5.