Add cfg for miniJava