add PCLOC annotations. all three benchmarks are type-checked now.

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

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