// Read in the file in one big chunk.
public void readFile(String fname) throws IOException{
String fileContents = Files.getFileContents(fname);
if (fileContents == null){
System.out.printf("ERROR: unable to open file %s\n", fname);
throw new GramgenException(1);
}
m_size = fileContents.length();
m_data = fileContents.toCharArray();
}