Marathon supports testing of Java/Swing and Java/Fx applications.
Selenium Hybrid Automation Framework with BDD tool Cucumber
dotProject extension used for automatic exceptions reporting
GUI based tool for running tests or configuration via telnet protocol
Kammerjäger is a debugging tool with integrated correctness proving.