tepi/FilteringTable — pull request #7 by dwijnand (2012-10-16 12:59:02+00:00)
Title: Build: Point dependencies to Maven repository instead of Vaadin-Eclipse plugin

This is a bit more debatable, but I'll argue that it's more portable than the previous configuration.