Work-around JDK bug.