jdk12 deprecated method replaced

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@942 379699f6-c40d-0410-875b-85095c16579e

jode/jode/obfuscator/ClassBundle.java

@@ -169,7 +169,11 @@ public class ClassBundle {
 	basePackage.writeTable(prop);
 	try {
 	    OutputStream out = new FileOutputStream(filename);
+///#ifdef JDK12
+///	    prop.store(out, "Reverse renaming table");
+///#else
 	    prop.save(out, "Reverse renaming table");
+///#endif
 	    out.close();
 	} catch (java.io.IOException ex) {
 	    GlobalOptions.err.println("Can't write rename table "+filename);