Ive tried the workaround solution (2) and it works fine. Incidently that
solution calls v.getTable().setTopIndex(0); which causes the table to
scroll to the top whenever the refresh is called. This line can probably
be omitted unless the user specifically wants the table to scroll to the
top (or any specific position) for every refresh.