disable ui tests for now till jenkins supports it

settings.gradle

 
-include 'de.prob.core', 'de.prob.core.tests', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.bmotionstudio.help' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.units', 'de.prob.units.tests', 'de.prob2.units.feature'
+include 'de.prob.core', 'de.prob.core.tests', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.bmotionstudio.help' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.units', 'de.prob2.units.feature'

tycho_build.gradle

@@ -599,11 +599,6 @@ task tycho(dependsOn: [createPoms] , type:Exec) {
 				<plugin>
 					<groupId>org.eclipse.tycho</groupId>
 					<artifactId>tycho-surefire-plugin</artifactId>
-        				<configuration>
-						<useUIHarness>true</useUIHarness>
-						<useUIThread>true</useUIThread>
-						<product>org.rodinp.platform.product</product>
-        				</configuration>
       				</plugin>
     			</plugins>
  		</build>