diff --git a/build.gradle b/build.gradle
index 34cd919a6a5eb48592c48e1d95abc4aa928f712b..205642b5ddc596bef7f8ca1338034bc4c8114a79 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,3 +1,6 @@
+// to trigger a full tycho build please use 'gradle deleteFromClassPath completeInstall'
+
+
 project.ext{
 	
 	targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]