add copyright comments

de.prob.core/src/de/prob/core/translator/pragmas/IPragma.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.core.translator.pragmas;
 
 import de.prob.prolog.output.IPrologTermOutput;

de.prob.core/src/de/prob/core/translator/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.core.translator.pragmas;
 
 import de.prob.prolog.output.IPrologTermOutput;