Hi, thanks for the investigation. I created an issue for the problem: https://github.com/rdiachenko/jlv/issues/78
I can't merge your pull request as the combination "Strg+F" is not acceptable according to <a href="http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.platform.doc.isv%2Freference%2Fextension-points%2Forg_eclipse_ui_bindings.html">this spec</a>.
I can assign this issue to you if you're interested in contribution. Just let me know.