Solving a bug in the way files are handled in JmlProgram.java.