fixed compilation with jdk-1.5