public final boolean isInitialized() {
        if (!hasSpecName()) {
          
          return false;
        }
        if (!hasSpecFile()) {
          
          return false;
        }
        return true;
      }