Considerable improvements to JROmniFocus