code: @Override
      public void setFile(File file) {
          configFile = file;
          if (tc.isDebugEnabled())
              Tr.debug(tc, "Jaspi configuration of persistent providers will be stored in file: " + file);
      }
docs: /*
  (non-Javadoc)
  
  @see com.ibm.ws.security.jaspi.client.PersistenceManager#setFile(java.io.File)