// Sensor interface

public interface Sensor extends java.rmi.Remote {
  double get_y() throws java.rmi.RemoteException, java.rmi.server.ServerNotActiveException;
}