src/Tools/jEdit/README_BUILD

added application.args (Why does it end up in pricate properties?);

Requirements to build from sources
==================================

* Proper Java JRE/JDK from Sun
  http://java.sun.com/javase/downloads/index.jsp

* Netbeans 6.5beta
  http://download.netbeans.org/netbeans/6.5/beta/

* Scala for Netbeans
  http://wiki.netbeans.org/Scala
  http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854

* jEdit 4.3pre14 or similar
  http://www.jedit.org/
  Netbeans Library "jEdit" = .../jedit.jar

* Flying Saucer XHTML renderer
  https://xhtmlrenderer.dev.java.net/
  Netbeans Library "Flying-Saucer" = .../core-renderer.jar

* Isabelle/Pure Scala components
  Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar


Running the application
=======================

* Proper Isabelle environment, e.g. via
  isabelle env netbeans ...