In WarcFileFilter.java, added safeguard in isGzipped() for filename being null.