java docs for text editor