D/patches////
/DESCR/1.2/Sun Feb 19 01:00:34 2023//
/PLIST/1.3/Sun Feb 19 01:00:34 2023//
/distinfo/1.4/Sun Feb 19 01:00:34 2023//
/PLIST.java8-javadoc/1.3/Fri Mar  3 01:00:33 2023//
/PLIST.java11-javadoc/1.5/Wed Jul 19 01:00:34 2023//
/PLIST.java17-javadoc/1.2/Wed Jul 19 01:00:34 2023//
/Makefile/1.15/Wed Jan 17 01:00:41 2024//
/PLIST.java21-javadoc/1.1/Tue Jan 16 03:57:05 2024//