fix bugs on the flow down rule and start annotating ssjava class library again

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

public class intwrapper {
  public intwrapper() {
  }
  int value;
}