(c) Fix a compile error with Java 6