Port of the core functionality and data of jQuery.IME to Java