jdk/src/java.prefs/share/classes/module-info.java
changeset 45528 1e8c2f062ad3
parent 44417 a431edba1629
child 45654 5ff2edfa03fc
equal deleted inserted replaced
45527:09cded555a99 45528:1e8c2f062ad3
    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