corda/classpath/java/lang/Double.java

package java.lang;

public final class Double {
  private final double value;

  public Double(double value) {
    this.value = value;
  }

  public double doubleValue() {
    return value;
  }
}