fixed compilation with JDK 1.5