I've errai's widget of HTMLElement type. I would like to put into current page content from org.jboss.errai.ui.nav.client.local.Navigation class as follow:
IsWidget widget = navigation.getContentPanel();
SimplePanel.add(IsWidget widget);
but in errai in html templates java file HTMLElement is used.
This is the proper way to this:
Having a template that looks like this: