joerg 7355666e01 Requires pre-JDK11 Java, so restrict to the older JVMs.		2020-04-12 19:39:11 +00:00
..
patches
DESCR
distinfo
Makefile	Requires pre-JDK11 Java, so restrict to the older JVMs.	2020-04-12 19:39:11 +00:00
PLIST