jboss-reddeer/reddeer — pull request #594 by ljelinkova (2014-05-05 10:43:55+00:00)
Title: Refactor WindowPreferences

- move it to workbench plugin
- change name to WorkbenchPreferences