[IRC.git] / Robust / src / ClassLibrary / doublewrapper.java

public class doublewrapper {
  public doublewrapper() {
  }
  double value;
}