Bug 228985 - JREsPreferencePage.java resizing problem
https://bugs.eclipse.org/bugs/show_bug.cgi?id=228985
2 files changed