com.vaadin.data.Property.ValueChangeEvent event) {
setPageLength(Integer.valueOf(String.valueOf(event
.getProperty().getValue())));
}
});
itemsPerPageSelect.select("25");
Label pageLabel = new Label("Page: ", Label.CONTENT_XHTML);
final TextField currentPageTextField = new TextField();
currentPageTextField.setValue(String.valueOf(getCurrentPage()));
currentPageTextField.addValidator(new IntegerValidator(null));
Label separatorLabel = new Label(" / ", Label.CONTENT_XHTML);