severity 504524 important thanksMartin, I mentioned this issue in README.Debian in the recent upload, afaiu this problem can be avoided with other window manager, plus it doesn't affect any non-GUI java program.
Matthias -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
