(Java 1.2 compatibility fix)