Java - Subsumption