[isabelle-dev] jar: command not found

[Sascha Boehme]

Hi,

When the JDK is not given in the PATH variable, the command "isabelle  
jedit" may fail with

   ./build-jars: line 189: jar: command not found

This is at least the case for hg id 08c22e8ffe70.

The problem occurs with Cygwin where the JDK is provided as a  
component in the Isabelle bundle and is hence typically not mentioned  
in the PATH. Proper prefixing of invocations of jar with the JDK's  
path might solve this issue.

Cheers,
Sascha