Reporting / org.eclipse.ease.modules.platform.PlatformModuleTest.writePreferences() stores preferences