HTML Editor written in Java

This looks impressive: kafenio.