Re: OpenJDK bug question (JDK-6519463)