Hack for java7 focus issue; deactivatable with parameter ActivateJava7FocusHack=0