add copyright notices

de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java

+/**
+ * (c) 2009 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)
+ * */
+
 package de.prob.ui.eventb;
 
 import java.util.ArrayList;

de.prob.ui/src/de/prob/ui/pragmas/UnitPragma.java

+/**
+ * (c) 2009 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)
+ * */
+
 package de.prob.ui.pragmas;
 
 import org.eclipse.core.runtime.IProgressMonitor;