} catch(IOException e) {
System.err.println("ERROR: Error while reading settings file");
return;
}
OuterSettings outerSettings;
try {
outerSettings = gson.fromJson(settingsJson, OuterSettings.class);
} catch(JsonSyntaxException e) {
System.err.println("ERROR: Settings file is malformed!");
return;
}
fullSettings = outerSettings.getSettings();
dumperEngine = fullSettings.getDumperEngine();
sourceEngine = fullSettings.getSourceEngine();
if(dumperEngine == null) dumperEngine = "DumperJSON";
if(sourceEngine == null) sourceEngine = "YotsubaJSON";