Restoring dat/wala.properties and src/depend/Main.java