why3/bench/java/expected/fr/labri/whyml2java/DependantClass.java

/* This file has been extracted from module DependantClass. */
package fr.labri.whyml2java;

import fr.lri.whyml2java.SimpleClass;

public class DependantClass {

  
  
  
}