public static void swapInNetworkFile(String file) {
    { List newNets = Logic.loadNeuralNetworkFile(file);

      { PropositionNeuralNetwork oldNet = null;
        Cons iter000 = Logic.$MASTER_NEURAL_NETWORK_LIST$.theConsList;
        PropositionNeuralNetwork newNet = null;
        Cons iter001 = newNets.theConsList;

        for (;(!(iter000 == Stella.NIL)) &&
                  (!(iter001 == Stella.NIL)); iter000 = iter000.rest, iter001 = iter001.rest) {
          oldNet = ((PropositionNeuralNetwork)(iter000.value));
          newNet = ((PropositionNeuralNetwork)(iter001.value));
          if ((!(oldNet.input.length() == newNet.input.length())) ||
              (!(oldNet.hidden.length() == newNet.hidden.length()))) {
            System.out.println("Error: network file does not match master list");
            return;
          }
        }
      }
      Logic.swapInNewNetworks(Logic.$MASTER_NEURAL_NETWORK_LIST$, newNets);
    }
  }