code: protected void setScrollPosition(final int pos) {
  
          getList().setVerticalScrollPosition(pos);
          Scheduler.get().scheduleDeferred(new ScheduledCommand() {
  
              /**
               * @see com.google.gwt.core.client.Scheduler.ScheduledCommand#execute()
               */
              public void execute() {
  
                  if (getList().getVerticalScrollPosition() != pos) {
                      getList().setVerticalScrollPosition(pos);
                  }
  
              }
          });
  
      }
docs: Helper for setting the scroll position of the scroll panel.<p>
  
  @param pos the scroll position