Spec.java

import java.util.Set;

class Spec {
	/**
	* @see #meth(java.util.Set)
	*/
	public void methRef() {
	}

	public void meth(Set p) {
	}
}