compressed executable .jar file