Update Luyten for Procyon

src/us/deathmarine/luyten/ConfigSaver.java

@@ -57,8 +57,8 @@ public class ConfigSaver {
 	 */
 	private void loadConfig() {
 		decompilerSettings = new DecompilerSettings();
-		if (decompilerSettings.getFormattingOptions() == null) {
-			decompilerSettings.setFormattingOptions(JavaFormattingOptions.createDefault());
+		if (decompilerSettings.getJavaFormattingOptions() == null) {
+			decompilerSettings.setJavaFormattingOptions(JavaFormattingOptions.createDefault());
 		}
 		luytenPreferences = new LuytenPreferences();
 		mainWindowPosition = new WindowPosition();

src/us/deathmarine/luyten/FileSaver.java

@@ -272,8 +272,8 @@ public class FileSaver {
 	private DecompilerSettings cloneSettings() {
 		DecompilerSettings settings = ConfigSaver.getLoadedInstance().getDecompilerSettings();
 		DecompilerSettings newSettings = new DecompilerSettings();
-		if (newSettings.getFormattingOptions() == null) {
-			newSettings.setFormattingOptions(JavaFormattingOptions.createDefault());
+		if (newSettings.getJavaFormattingOptions() == null) {
+			newSettings.setJavaFormattingOptions(JavaFormattingOptions.createDefault());
 		}
 		// synchronized: against main menu changes
 		synchronized (settings) {