int protocolLen = 7; // http://
if(url.startsWith("https"))
protocolLen = 8;
int slashIndex = url.indexOf('/', protocolLen + 1);
this.setTitle((slashIndex>0) ? url.substring(protocolLen, slashIndex) : url.substring(protocolLen)); // domain name
Mashlet mashlet = new Mashlet(url);
setWidget(mashlet,400,350);
}