return;
}
String line;
String[] args;
while ((line = file.readLine()) != null) {
// Splits on 1-or-more spaces and = characters
args = line.split("\\s+|=");
if (args[0].equals("page")) {
int page = Integer.parseInt(args[2]);
String pagePath = args[4].replace("\"", "");