jdk/test/java/rmi/server/RMIClassLoader/spi/DefaultProperty.java
changeset 14778 5947768d173d
parent 5506 202f599c92aa
child 23010 6dadb192ad81
equal deleted inserted replaced
14777:62a7f77b65c8 14778:5947768d173d
    27  * system property to "default" causes the default provider instance to
    27  * system property to "default" causes the default provider instance to
    28  * be used by the RMIClassLoader API.
    28  * be used by the RMIClassLoader API.
    29  * @author Peter Jones
    29  * @author Peter Jones
    30  *
    30  *
    31  * @library ../../../testlibrary
    31  * @library ../../../testlibrary
    32  * @build TestLibrary
    32  * @build TestLibrary ServiceConfiguration Foo
    33  * @build DefaultProperty
       
    34  * @build ServiceConfiguration
       
    35  * @build Foo
       
    36  * @run main/othervm/policy=security.policy DefaultProperty
    33  * @run main/othervm/policy=security.policy DefaultProperty
    37  */
    34  */
    38 
    35 
    39 import java.net.MalformedURLException;
    36 import java.net.MalformedURLException;
    40 import java.net.URL;
    37 import java.net.URL;