org.eclipse.jdt.ui.tests.refactoring/resources/ExtractInterface/testConditional2/out/X.java

package p;

public class X implements I {
	public double x;
	/* (non-Javadoc)
	 * @see p.I#dot(p.X)
	 */
	public final double dot(X v) {
		return v.x;
	}
}