jdk/test/java/util/zip/ZipFile/FinalizeZipFile.java
changeset 30046 cf2c86e1819e
parent 27031 2a1bbbaacbe8
child 32649 2ee9017c7597
equal deleted inserted replaced
30045:719de2e9d356 30046:cf2c86e1819e
    22  */
    22  */
    23 
    23 
    24 /* @test
    24 /* @test
    25  * @bug 7007609 7009618
    25  * @bug 7007609 7009618
    26  * @summary Check that ZipFile objects are always collected
    26  * @summary Check that ZipFile objects are always collected
       
    27  * @key randomness
    27  */
    28  */
    28 
    29 
    29 import java.io.*;
    30 import java.io.*;
    30 import java.util.Random;
    31 import java.util.Random;
    31 import java.util.zip.*;
    32 import java.util.zip.*;