code: protected String getBaseFilename() {
          String name = this.f.getName();
          if (settings.getCompress() && name.endsWith(DOT_COMPRESSED_FILE_EXTENSION)) {
              return name.substring(0,name.length() - 3);
          } else if(settings.getCompress() &&
                  name.endsWith(DOT_COMPRESSED_FILE_EXTENSION +
                      OCCUPIED_SUFFIX)) {
              return name.substring(0, name.length() -
                  (3 + OCCUPIED_SUFFIX.length()));
          } else {
              return name;
          }
      }
docs: Get the file name
  
  @return the filename, as if uncompressed