Would it be possible to revert the change in the theme until the bug is fixed (especially if it won't be fixed quickly)?
If this is a bug in Java, then it certainly should be fixed there and not covered up. But from the viewpoint of an end user, the fact is that all applications based on Java Swing have been broken with the default theme of Ubuntu for several weeks now. And an end user is not interested in any finger pointing of developers whose fault it is, he simply has a bad user experience.
In the future, it would be nice if changes in the themes were tested with all major GUI toolkits (GTK, Qt, Java Swing) before they are committed.
Would it be possible to revert the change in the theme until the bug is fixed (especially if it won't be fixed quickly)?
If this is a bug in Java, then it certainly should be fixed there and not covered up. But from the viewpoint of an end user, the fact is that all applications based on Java Swing have been broken with the default theme of Ubuntu for several weeks now. And an end user is not interested in any finger pointing of developers whose fault it is, he simply has a bad user experience.
In the future, it would be nice if changes in the themes were tested with all major GUI toolkits (GTK, Qt, Java Swing) before they are committed.