{
super (new BorderLayout ());
_viewersplit = new JSplitPane (JSplitPane.HORIZONTAL_SPLIT);
// _propertysplit = new JSplitPane (JSplitPane.VERTICAL_SPLIT);
hutneditor = new HutnEditor (this);
hutntext = new XMLEditor ();
// hutntext.setContentType ("text/html");
hutntext.setToolTipText ("Area for display and edit of XMI-light text.");