andrewm@0: eclipse.preferences.version=1
andrewm@0: showIntro=false