Searched defs:GZIPPED_LICENSE_FILE_NAME (Results 1 – 1 of 1) sorted by relevance
47 static final String GZIPPED_LICENSE_FILE_NAME = "NOTICE.html.gz"; field in ModuleLicenseProvider96 .open(GZIPPED_LICENSE_FILE_NAME))) { in openFile()