Fix build on JDK 1.5.