vaadin/vaadin — pull request #4 by hamiltondfp (2013-06-10 23:25:16+00:00)
Title: Update VFilterSelect.filterOptions(int, String, boolean) access modifier...

... from private to protected.

As the JavaDoc at the top of the class suggests, VFilterSelect needs to be more "extensible." This will help.