a.getWorld().showMessage(IMessage.ERROR, "multiple matches for " + a + ", matches both " + patterns.get(knownMatch) + " and " + p,
a.getWorld().showMessage(IMessage.ERROR, WeaverMessages.format(WeaverMessages.MULTIPLE_MATCHES_IN_PRECEDENCE,a,patterns.get(knownMatch),p),
	private int matchingIndex(ResolvedTypeX a) {		int knownMatch = -1;		int starMatch = -1;		for (int i=0, len=patterns.size(); i < len; i++) {			TypePattern p = patterns.get(i);			if (p.isStar()) {				starMatch = i;			} else if (p.matchesStatically(a)) {				if (knownMatch != -1) {					a.getWorld().showMessage(IMessage.ERROR, "multiple matches for " + a + 							", matches both " + patterns.get(knownMatch) + " and " + p,							patterns.get(knownMatch).getSourceLocation(), p.getSourceLocation());					return -1;				} else {					knownMatch = i;				}			}		}		if (knownMatch == -1) return starMatch;		else return knownMatch;	}