Revert wrong "correction" in replimoc5, add new test

Sorry folks! Guess I shouldn't just assume java and minijava are
identical