Followup on bug tracker for open source JDK