#Tue Nov 03 14:07:32 CET 2009
cleanup_settings_version=2
eclipse.preferences.version=1
formatter_profile=_JavaCard custom
formatter_settings_version=11