package innovimax.mixthem.operation;

import innovimax.mixthem.arguments.ParamValue;

public enum AltOperation { 
  DEFAULT_RANDOM_SEED(1789);

  private ParamValue value;

  private AltOperation(int value) {
    this.value = ParamValue.createInt(value);
  }

  @Override
  public String toString() {
    return Integer.toString(this.value.asInt());
  }

  public ParamValue getValue() {
    return this.value;
  }

}

@@ -193,21 +193,17 @@
 ion(int 
-value
+i
 ) %7B%0A    
@@ -236,21 +236,17 @@
 eateInt(
-value
+i
 );%0A  %7D%0A%0A

Update AltOperation.java