rename to mini.java