why3/bench/java/expected/SimpleClass.java

/* This file has been extracted from module SimpleClass. */
public class SimpleClass {

  
  
  
}