Add minecraft.java. Fixes #31