anchor.diff:  </div>
   
   <%
  +
   if ("POST".equalsIgnoreCase(request.getMethod())) {
  -    // Form was submitted.
  -    out.println("<p>Settings saved</p>");
  -    /*
  +	// Form was submitted.
  +	out.println("<h3>Settings saved</h3>");
  +	out.println(request.getParameter("mapping_file"));
  +	out.println(request.getParameter("datastore_directory"));
  +	out.println(request.getParameter("minimum_intron_size"));
  +	
  +	out.println(serverConfig.getDataStoreDirectory());
  +	out.println(serverConfig.getDefaultMinimumIntronSize());
   	serverConfig.setDataStoreDirectory(request.getParameter("datastore_directory"));
   	serverConfig.setGBOLMappingFile(request.getParameter("mapping_file"));
   	serverConfig.setDefaultMinimumIntronSize(Integer.parseInt(request.getParameter("minimum_intron_size")));
  
positive.code: <fieldset class="formLayout">
  
  <label>Username:
  <input type="text" id="database_username"></input> </label>
  
  <label>Password:
  <input type="password" id="database_password"></input> </label>
  
  <label>Driver:
  <input type="text" id="database_driver"></input> </label>
  
  <label>URL:
  <input type="text" id="database_url"></input> </label>
  
  </fieldset>
  
  
negative.code: <fieldset class="formLayout">
  
  <label>Refseqs.json location:
  <input type="text" id="refseqs_json" name="refseqs_json"></input> </label>
  
  <label>Annotation database prefix:
  <input type="text" id="database_prefix" name="database_prefix"></input> </label>
  
  <label>Organism name:
  <input type="text" id="organism_name" name="organism_name"></input> </label>
  
  <label>Sequence CV term:
  <input type="text" id="sequence_cvterm" name="sequence_cvterm"></input> </label>
  
  
  <label>Translation table:
  <input type="text" id="translation_table" name="translation_table"></input> </label>
  
  
  <label>Splice acceptor site:
  <input type="text" id="acceptor_site" name="acceptor_site"></input> </label>
  
  <label>Splice donor site:
  <input type="text" id="donor_site" name="donor_site"></input> </label>
  </fieldset>
  
  
  