diff -r 85c516f944a1 -r d5feb9d8ebc3 build.xml
--- a/build.xml	Fri Mar 07 21:55:13 2014 +0100
+++ b/build.xml	Thu Oct 24 22:06:44 2019 +0200
@@ -5,8 +5,7 @@
 
 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
-the Free Software Foundation, either version 3 of the License, or
-(at your option) any later version.
+the Free Software Foundation, version 3 of the License.
 
 This program is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of