test/java/util/prefs/ExportNode.java

Print this page

        

*** 22,34 **** */ /* * @test ! * @bug 4387136 4947349 * @summary Due to a bug in XMLSupport.putPreferencesInXml(...), * node's keys would not get exported. * @author Konstantin Kladko */ import java.util.prefs.*; import java.io.*; --- 22,35 ---- */ /* * @test ! * @bug 4387136 4947349 7197662 * @summary Due to a bug in XMLSupport.putPreferencesInXml(...), * node's keys would not get exported. + * @run main/othervm -Djava.util.prefs.userRoot=. ExportNode * @author Konstantin Kladko */ import java.util.prefs.*; import java.io.*;