code: protected void handleExtraOptions() {
          // If the -L option is given, load the basis mapping from disk.
          if (argOptions.hasOption('L')) {
              basis = loadObject(openLoadFile());
              basis.setReadOnly(true);
          } else 
              basis = new StringBasisMapping();
      }
docs: {@inheritDoc}