Update headers of moved files

Author: schuessf

trunk/source/Library-SmtLibUtils/src/de/uni_freiburg/informatik/ultimate/lib/smtlibutils/DebugMessage.java

@@ -1,20 +1,28 @@
 /*
+ * Copyright (C) 2009-2012 Juergen Christ
  * Copyright (C) 2009-2012 University of Freiburg
  *
- * This file is part of SMTInterpol.
+ * This file is part of the ULTIMATE SmtLibUtils Library.
  *
- * SMTInterpol is free software: you can redistribute it and/or modify
+ * The ULTIMATE SmtLibUtils Library is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published
  * by the Free Software Foundation, either version 3 of the License, or
  * (at your option) any later version.
  *
- * SMTInterpol is distributed in the hope that it will be useful,
+ * The ULTIMATE SmtLibUtils Library is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
  *
  * You should have received a copy of the GNU Lesser General Public License
- * along with SMTInterpol.  If not, see <http://www.gnu.org/licenses/>.
+ * along with the ULTIMATE SmtLibUtils Library. If not, see <http://www.gnu.org/licenses/>.
+ *
+ * Additional permission under GNU GPL version 3 section 7:
+ * If you modify the ULTIMATE SmtLibUtils Library, or any covered work, by linking
+ * or combining it with Eclipse RCP (or a modified version of Eclipse RCP),
+ * containing parts covered by the terms of the Eclipse Public License, the
+ * licensors of the ULTIMATE SmtLibUtils Library grant you additional permission
+ * to convey the resulting work.
  */
 package de.uni_freiburg.informatik.ultimate.lib.smtlibutils;
 

trunk/source/Library-SmtLibUtils/src/de/uni_freiburg/informatik/ultimate/lib/smtlibutils/INonSolverScript.java

@@ -1,3 +1,30 @@
+/*
+ * Copyright (C) 2018 Alexander Nutz ([email protected])
+ * Copyright (C) 2018 University of Freiburg
+ *
+ * This file is part of the ULTIMATE SmtLibUtils Library.
+ *
+ * The ULTIMATE SmtLibUtils Library is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published
+ * by the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * The ULTIMATE SmtLibUtils Library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with the ULTIMATE SmtLibUtils Library. If not, see <http://www.gnu.org/licenses/>.
+ *
+ * Additional permission under GNU GPL version 3 section 7:
+ * If you modify the ULTIMATE SmtLibUtils Library, or any covered work, by linking
+ * or combining it with Eclipse RCP (or a modified version of Eclipse RCP),
+ * containing parts covered by the terms of the Eclipse Public License, the
+ * licensors of the ULTIMATE SmtLibUtils Library grant you additional permission
+ * to convey the resulting work.
+ */
+
 package de.uni_freiburg.informatik.ultimate.lib.smtlibutils;
 
 import de.uni_freiburg.informatik.ultimate.logic.Script;