code: public static ScrollPanel newScrollPanelY (Widget contents, int maxHeight)
      {
          ScrollPanel panel = new ScrollPanel(contents);
          DOM.setStyleAttribute(panel.getElement(), "maxHeight", maxHeight + "px");
          return panel;
      }
docs: Wraps the supplied contents in a scroll panel with the specified maximum height.