clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
Java application wrapper for Windows
====================================
* http://winrun4j.sourceforge.net/
cp winrun4j/bin/WinRun4J.exe Isabelle.exe
winrun4j/bin/RCEDIT /C Isabelle.exe
winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico