indexOf - fills a gap in java.util.List API