Feature request: deny submissions with non-unique Java program start

[chris21k]

Praktomat/srrc/checker/compiler/JavaBuilder.py searches via javap some class with a valid main method. However, as far I can see, if there are more than one classes with valid main methods, then the tests will start an arbitrary one of them. Imho it would be more concise to decline such solutions with an informative error message, i.e., compilation (and tests?) should fail.

[ifrh]

We at H-BRS are using a ScriptChecker for testing *.java not containing a UTF-8 BOM (since it will be a compiler error having an message not usable for beginners) and a script for checking if only one java has a main .

[Edit: 2.11.2021: If some one want our script checking this, just ask.]