compiler: @notempty annotation
lib/java: Preconditions.java: checkNotEmpty(ImmutableSet)