The source code archive for 3.1pre4 at the jEdit web site is currently missing all java files. John
View entire thread