#Sun May 25 10:11:03 CEST 2008
eclipse.preferences.version=1
pluginProject.extensions=true