javacomp-script, javacomp: Add preliminary support for Java 12..17.
treec6bda072cd390bdbc367b812ada6ca9c0813f4e9
-rw-r--r-- 14 .cvsignore
-rw-r--r-- 252 .gitattributes
-rw-r--r-- 64 .gitignore
-rw-r--r-- 1015 COPYING
-rw-r--r-- 4449841 ChangeLog
-rw-r--r-- 4743 DEPENDENCIES
-rwxr-xr-x 81106 MODULES.html.sh
-rw-r--r-- 6667 Makefile
-rw-r--r-- 41118 NEWS
-rw-r--r-- 183 README
-rw-r--r-- 4336 STATUS-libposix
drwxr-xr-x - build-aux
-rw-r--r-- 3241 cfg.mk
-rwxr-xr-x 2367 check-copyright
-rwxr-xr-x 7727 check-module
drwxr-xr-x - config
drwxr-xr-x - doc
-rwxr-xr-x 258606 gnulib-tool
-rwxr-xr-x 39044 gnulib-tool.py
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - modules
-rwxr-xr-x 10160 posix-modules
drwxr-xr-x - pygnulib
drwxr-xr-x - tests
drwxr-xr-x - top
-rw-r--r-- 6819 users.txt