jsr-creation.java

l = new @NonEmpty @Readonly 
     List<String>(myNonEmptyStringSet);