A type-ahead, predictive text editor, written in Java