#Sun Jun 05 18:58:07 CEST 2011 version=1 eclipse.preferences.version=1 refresh.enabled=true