Spec.java

import java.util.Set;

class Spec {
	/**
	* @see #meth(double)
	*/
	public void methRef() {
	}

	public void meth(double p) {
	}
}