tree 071ebb944b4f4a6f71b6ac9e8ff7446f6565fa2c
parent 2607f050eb20c418a2b56437cdb388a397ebc207
author dj <dj_houghton@ca.ibm.com> 1318361601 -0400
committer dj <dj_houghton@ca.ibm.com> 1318361601 -0400

Bug 351231 - [prefs] EclipsePreferences#flush method should be
synchronized