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.*;