Remove *.mj/*.java file name requirement

It is not mentioned in the spec and could lead to problems with
automated tests by the course instructors (their test files might be
named differently).