tepi/FilteringTable — pull request #59 by pmatti (2014-05-15 05:43:10+00:00)
Title: Rename VCustomScrollTable.isRunning() to isHandlerRunning() 

to avoid clash with Timer.isRunning() which is final in Vaadin 7.2