X.java

package p;

public class X {
	public double x;
	public final double dot(X v) {
		return v.x;
	}
}