Presumably these exist in a Main.java file and the java class is implied. Similarly the string params are also implied, and the non param main() function is jus

Presumably these exist in a Main.java file and the java class is implied. Similarly the string params are also implied, and the non param main() function is just an alias or a wrapper for main(String). It's just syntactic sugar.