EnviProductReaderPlugIn implements ProductReaderPlugIn { static boolean isCompressedFile(File file) { return file.getPath().lastIndexOf(EnviConstants.ZIP_EXTENSION) > -1; }  @Override DecodeQualification getDecodeQualification(Object input); @Override String[] getFormatNames(); @Override ProductReader createReaderInstance(); @Override String[] getDefaultFileExtensions(); @Override Class[] getInputTypes(); @Override String getDescription(Locale locale); @Override BeamFileFilter getProductFileFilter();  }
@Test public void testIsCompressedFile() { File file = new File("envi.file"); assertFalse(EnviProductReaderPlugIn.isCompressedFile(file)); file = new File("envi.zip"); assertTrue(EnviProductReaderPlugIn.isCompressedFile(file)); }