currentTheme=org.eclipse.papyrus.css.papyrus_theme
eclipse.preferences.version=1