build/build.xml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 use system jflex in /usr/share/java/jflex.jar

build/build.xml | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 set the source encoding to fix the build failures with java 9+

index.html | 1 0 + 1 - 0 !
1 file changed, 1 deletion(-)

 drop link including potentially privacy breaching icon