#35 JFrame.paintAll() seems not to work under Linux. Wrote a Linux workaround using the Robot class.