// save references to doc and view
doc_ = doc;
view_ = view;
// initialize view
ProfilerContents contents = getContents();
view_.getPropA().setValue(contents.getPropA());
view_.getPropB().setValue(contents.getPropB());
// subscribe to value changes on the view to save contents
// to the server whenenver it's modfied
handlerRegistrations_.add(view_.getPropA()
.addValueChangeHandler(new ValueChangeHandler<Integer>() {