renamed the jar filename to DistEL