openjdk-is-ok.diff