This method seems unnecessary, especially for such an infrequently used feature. It makes sense to remove this and require the following instead:

```java
parser.getInterpreter().setNoDFA(true);
```