});
ResourcePool classes = gatherClasses(javabase);
checkCompress(classes, new StringSharingPlugin(), null,
new ResourceDecompressorFactory[]{
new StringSharingDecompressorFactory()});
<BUG>Properties options = new Properties();

options.setProperty(ZipPlugin.NAME, "");

checkCompress(classes, new DefaultCompressPlugin(), options,
new ResourceDecompressorFactory[]{
new ZipDecompressorFactory(),
new StringSharingDecompressorFactory()</BUG>
});

});
ResourcePool classes = gatherClasses(javabase);
checkCompress(classes, new StringSharingPlugin(), null,
