CURRENT_THEME_ID=org.eclipse.ui.r30
eclipse.preferences.version=1
showIntro=false