why3/bench/java/expected/fr/labri/AnInterface.java

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

public interface AnInterface {

  
  
  
}