Use CFG.java to get an ArrayList of Strings