jsr-gen-bounds.java

  class Folder<F extends @Existing File> { 
      ... 
  }

  Collection<? super @Existing File> fileRefs;