Updated version numbers of jar files (and names) in .bat and .sh executables.