import edu.berkeley.cs.succinct.SuccinctFile;
import edu.berkeley.cs.succinct.regex.RegExMatch;
import edu.berkeley.cs.succinct.regex.SuccinctRegExMatch;
import edu.berkeley.cs.succinct.regex.parser.RegEx;
import edu.berkeley.cs.succinct.regex.parser.RegExWildcard;
<BUG>import java.util.HashMap;
import java.util.HashSet;
import java.util.Map;

import java.util.TreeSet;</BUG>
public abstract class SuccinctRegExExecutor extends RegExExecutor {

import edu.berkeley.cs.succinct.SuccinctFile;
import edu.berkeley.cs.succinct.regex.RegExMatch;
import edu.berkeley.cs.succinct.regex.SuccinctRegExMatch;
import edu.berkeley.cs.succinct.regex.parser.RegEx;
import edu.berkeley.cs.succinct.regex.parser.RegExWildcard;
import java.util.*;
public abstract class SuccinctRegExExecutor extends RegExExecutor {
