tree ea6afb8e332e71ed58f29d7c592ffa6def2bdd95
parent 1cd4c57e9a42f6f11fd72d56f8fd521365ad72e6
author Ed Merks <ed.merks@gmail.com> 1488533269 +0100
committer Ed Merks <ed.merks@gmail.com> 1488533269 +0100

[513038] PropertiesUtil.saveProperties fails to save any property for
Java 9

https://bugs.eclipse.org/bugs/show_bug.cgi?id=513038