#Mon Nov 21 16:13:58 CET 2011
eclipse.preferences.version=1
generate_rcp=false
ignore_gmfgen_validation=false
ignore_mapmodel_validation=false
use_map_mode=true
use_runtime_figures=true