#Thu Dec 01 14:03:10 EST 2011
eclipse.preferences.version=1
formatter_profile=_PKI Project Profile
formatter_settings_version=11