add comment regarding JRE bug fix