Require Java 7
Be more strict with module name validation
Give better failure messages in tests