private void initWidgets() { String name; /** * EditorLauncher.HOSTED_MODE = Boolean.TRUE; // HACK to set it to HOSTED MODE if ( * EditorLauncher.HOSTED_MODE.booleanValue() ) { name = "http://localhost:8080/designer/editor"; * } else { name = "/designer/editor"; } * */ name = "/designer/editor/?uuid=" + modelUUID + "&profile=jbpm"; frame = new Frame(name); frame.getElement().setAttribute("domain", Document.get().getDomain()); frame.setWidth("100%"); frame.setHeight("100%"); initWidget(frame); setWidth("100%"); setHeight("100%"); }