MousePositionServer.java

interface MousePositionServer {
    /**
       @return x position in pixels
    */
    public double getMouseXPosition();
}