ensure JDK 1.5 compatibility