A file manager for CkEditor in Java applications