#Thu Nov 04 11:51:53 CET 2010
keyTreeExpanded=false
eclipse.preferences.version=1
keepEmptyFields=true