The java jar file drjava could not be launched