jendave 20a3b0b6d3 Checking 1.5 compatibility ...

SwingBuilder caused a couple other problems. It is also contained in ord.jdesktop, so I replaced it with that one
Preferences also contained stringPropertyNames(), which only exists since 1.6

2011-08-06 05:57:44 +00:00

..

org.eclipse.jdt.core.prefs

Checking 1.5 compatibility

2011-08-06 05:57:44 +00:00