Draft: Fix javacc deprecation warning #3016

Fixes the warning ```

Task :key.core:compileJava /home/runner/work/key/key/key.core/build/generated-src/javacc/main/de/uka/ilkd/key/parser/proofjava/JavaCharStream.java:348: warning: [dep-ann] deprecated item is not annotated with @Deprecated static public int getColumn() { ^ /home/runner/work/key/key/key.core/build/generated-src/javacc/main/de/uka/ilkd/key/parser/proofjava/JavaCharStream.java:357: warning: [dep-ann] deprecated item is not annotated with @Deprecated static public int getLine() { ^ /home/runner/work/key/key/key.core/build/generated-src/javacc/main/de/uka/ilkd/key/parser/schemajava/JavaCharStream.java:348: warning: [dep-ann] deprecated item is not annotated with @Deprecated static public int getColumn() { ^ /home/runner/work/key/key/key.core/build/generated-src/javacc/main/de/uka/ilkd/key/parser/schemajava/JavaCharStream.java:357: warning: [dep-ann] deprecated item is not annotated with @Deprecated static public int getLine() { ^ ```