diff -r 871c05ca7118 -r c3a2c32afaae java/alt2xml-lib-input/nbproject/genfiles.properties
--- a/java/alt2xml-lib-input/nbproject/genfiles.properties	Sat Nov 14 12:51:17 2020 +0100
+++ b/java/alt2xml-lib-input/nbproject/genfiles.properties	Sun Nov 15 20:08:59 2020 +0100
@@ -4,5 +4,5 @@
 # This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml.
 # Do not edit this file. You may delete it but then the IDE will never regenerate such files for you.
 nbproject/build-impl.xml.data.CRC32=0525abf5
-nbproject/build-impl.xml.script.CRC32=6e1be653
-nbproject/build-impl.xml.stylesheet.CRC32=05530350@1.79.1.48
+nbproject/build-impl.xml.script.CRC32=832f4802
+nbproject/build-impl.xml.stylesheet.CRC32=830a3534@1.80.1.48