a fork of the Swing HTML Editor Framework