.format(
"bpeleditor/BPELEditor.html?uuid={0}&fileName={1}&dirName={2}&servletName={3}&isNew={4}",
new String[] { uuid, fileName, dirName, servletName,
isNew });
viewSource.addListener(new ButtonListenerAdapter() {
public void onClick(com.gwtext.client.widgets.Button button,
EventObject e) {
Window.open(url, "_" + fileName, null);