diff --git a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
index 987014e98a7a0f79ef3941c95ec063b6795d8c28..7410eb9631d9d2e8943c2e112a4e2fa7385e4940 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
@@ -97,16 +97,6 @@ public class ClassicPreferences extends PreferencePage implements
 		gridData2.horizontalSpan = 3;
 		versionRemark.setLayoutData(gridData2);
 
-		// Link link = new Link(pageComponent, SWT.BORDER);
-		// link
-		// .setText("This a very simple <A href=\"/downloads.php\">link</A> widget.");
-		// link.setSize(140, 40);
-		// link.addListener(SWT.Selection, new Listener() {
-		// public void handleEvent(final Event event) {
-		// System.out.println("Selection: " + event.text);
-		// }
-		// });
-
 		return pageComponent;
 	}