[isabelle-dev] jEdit

[Makarius]

On Fri, 27 Apr 2012, Christian Sternagel wrote:

> Maybe I should have tried it myself before posting ;). Yes, it works 
> with jdk1.6.0_32.

The test website already provides the bundled JDK, which is jdk1.6.0_31 
and was produced just before Oracle upgraded to 32 :-(

Fortunately there are hardly any significant changes going on the 1.6 
branch, so I will probably leave is as is.


 	Makarius