The "-Xverbose-dfa" option was removed from the tool

antlr4-maven-plugin/src/main/java/org/antlr/mojo/antlr4/Antlr4Mojo.java

@@ -114,12 +114,6 @@ public class Antlr4Mojo extends AbstractMojo {
 	@Parameter(property = "antlr4.treatWarningsAsErrors", defaultValue = "false")
 	protected boolean treatWarningsAsErrors;
 
-	/**
-	 * add config set to DFA states
-	 */
-	@Parameter(defaultValue = "false")
-	protected boolean verbose_dfa;
-
 	/**
 	 * use the ATN simulator for all predictions
 	 */
@@ -349,10 +343,6 @@ public class Antlr4Mojo extends AbstractMojo {
 			args.add("-Werror");
 		}
 
-		if (verbose_dfa) {
-			args.add("-Xverbose-dfa");
-		}
-
 		if (forceATN) {
 			args.add("-Xforce-atn");
 		}