equal
deleted
inserted
replaced
24 */ |
24 */ |
25 |
25 |
26 /** |
26 /** |
27 * Defines the Preferences API. |
27 * Defines the Preferences API. |
28 * |
28 * |
|
29 * @uses java.util.prefs.PreferencesFactory |
|
30 * |
29 * @moduleGraph |
31 * @moduleGraph |
30 * @since 9 |
32 * @since 9 |
31 */ |
33 */ |
32 module java.prefs { |
34 module java.prefs { |
33 requires java.xml; |
35 requires java.xml; |
34 |
36 |
35 exports java.util.prefs; |
37 exports java.util.prefs; |
36 uses java.util.prefs.PreferencesFactory; |
38 uses java.util.prefs.PreferencesFactory; |
37 } |
39 } |
38 |
|