FeatureId

Small improvement coming out of some recent work on ResourceId.
BEFORE

    Set selected = new HashSet();
    selected.add(ff.featureId("CITY.98734597823459687235"));
    selected.add(ff.featureId("CITY.98734592345235823474"));
    
    filter = ff.id(selected);

AFTER:

    filter = ff.id(ff.featureId("CITY.98734597823459687235"),
                   ff.featureId("CITY.98734592345235823474"));

Documentation harmed in the making of this post:

• filter identifier (GeoTools User Guide)
• upgrade (GeoTools User Guide)