Initial integration of SHEF

Swing-based HTML editor