id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3817	[PATCH] fix DataSet cast warning	hansendc	team	"    [javac] src/org/openstreetmap/josm/data/osm/DataSet.java:634: warning: [unchecked] unchecked cast
    [javac] found   : java.util.Collection<capture#506 of ? extends org.openstreetmap.josm.data.osm.OsmPrimitive>
    [javac] required: java.util.Set<? extends org.openstreetmap.josm.data.osm.OsmPrimitive>
    [javac]             referred = (Set<? extends OsmPrimitive>)primitives;
    [javac]                                                     ^

The following patch uses two copies of getReferringRelations().  One takes a raw collection and the other an actual set.  This avoids the casting, but still preserves the optimization that was there."	defect	closed	normal		Core		fixed