On 28/08/2019 17:08, Joe Darcy wrote:
The intention here is to be "mostly exhaustive" rather than "entirely
exhaustive" in applying the annotation type so I'd prefer to defer
updating generated exceptions to future work.
Okay, although all you need is:
$ hg diff make
diff -r e17f768b3b71 make/scripts/genExceptions.sh
--- a/make/scripts/genExceptions.sh Wed Aug 28 10:56:50 2019 -0400
+++ b/make/scripts/genExceptions.sh Wed Aug 28 17:22:10 2019 +0100
@@ -60,6 +60,7 @@
extends ${SUPER}
{
+ @java.io.Serial
private static final long serialVersionUID = $SVUID;
__END__
