Java wrapper for the EditLine library