fixed jEdit version;

requires Java from Sun; hints on running;

Requirements to build from sources.

removed private properties;

basic setup for running jEdit;

deactivated tests due to lack of testng installation;

basic Netbeans project setup;

explicit result type for _listFiles;

original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;

tuned message;

clarified Symbol.is_plain/is_wellformed -- is_closed was rejecting plain backslashes;

Text_Edit.toString;

timeit message;

treat *all* JVM throwables as "exceptions", cf. ML version;

simplified Text_Edit -- deflated class hierarchy;

Outer_Lex.is_ignored;

merged

merged

proper types for user-defined syntax

single quote is not a valid letter any more

simple tests

boolean operators for scala

elements with start entry;

plain object;

tuned signature;

tuned;

misc tuning;

Swing_Thread.future: plain Future.value if this is already Swing;

added find_files;

pass build error code;