# Bug 552745 - we can't showIntro on CI machine because there is no working webkit there and due to bug 552716 that causes
# eclipse to have a hard crash
org.eclipse.ui/showIntro=false