| commit | c2826a26dbf7afcdde85155208c5b768c1d7f283 | [log] [tgz] |
|---|---|---|
| author | DJ Houghton <dj> | Tue Jul 05 19:35:23 2011 +0000 |
| committer | DJ Houghton <dj> | Tue Jul 05 19:35:23 2011 +0000 |
| tree | a73c3af6aba6afd7fcf66f112317b4d0c7e0fff0 | |
| parent | 631121a162d37aeaed49778b5d9c82fd5e68defe [diff] |
Bug 333726 - [prefs] EclipsePreferences#flush method should be synchronized