MiniJavaInScala/mjis — pull request #23 by jspam (2014-10-27 22:05:24+00:00)
Title: 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).