Fix jdk5 compilation.