/* This file has been extracted from module SimpleClass. */
package fr.lri.whyml2java;

public class SimpleClass {

  
  
  
}