java -jar jedit31install.jar