import org.junit.Test; import static org.junit.Assert.*; /** FIXME * @author P. N. Hilfinger */ public class { /** FIXME */ public static void main(String[] args) { // FIXME } }