Minor
Work around OpenJDK bug...