Casting fix for Java 1.6