Fixing Java 1.2 compilation error.