Waldemar Brodkorb 1b27dff7d2 another round of openjdk7 build fixes 10 years ago
..
openadk.patch 1b27dff7d2 another round of openjdk7 build fixes 10 years ago