Proper annotations for Guava