more general error suffixes, e.g. for messages that are broken over several lines;
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