edit the kruskal.bat file (specify jdk path)

