MiniJavaInScala/mjis — pull request #225 by Kha (2014-12-18 09:22:42+00:00)
Title: Manually mature all blocks as soon as possible

Fixes the construction bug.