new semantics check.

Main class must have a method main that takes no formal parameters.