antlr-maven-plugin/jdk18plus.patch

14 lines
681 B
Diff
Raw Normal View History

--- antlr-maven-plugin-2.2/src/main/java/org/codehaus/mojo/antlr/AbstractAntlrMojo.java 2010-11-16 16:59:34.000000000 +0100
+++ antlr-maven-plugin-2.2/src/main/java/org/codehaus/mojo/antlr/AbstractAntlrMojo.java 2023-10-26 14:01:46.596367163 +0200
@@ -348,6 +348,10 @@
+ "Antlr's call to System.exit() can cause application shutdown "
+ "if not handled by the current SecurityManager." );
}
+ catch ( UnsupportedOperationException exc )
+ {
+ getLog().warn( exc );
+ }
String originalUserDir = null;
if ( plan.getImportVocabTokenTypesDirectory() != null )