added an example usage of @PostFilter annotation to filter a list of messages