clarified Java releases on which I repro. this