diff --git a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java
index 0383d34e10e6b46f64490993d6d10fc00bb0bc8a..282871b34d7911d6e3acb80711ada8e6c7ace6ad 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java
@@ -1,5 +1,5 @@
 /** 
- * (c) 2009-11 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, 
+ * (c) 2009-20 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, 
  * Heinrich Heine Universitaet Duesseldorf
  * This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) 
  * */