anchor.diff:  if ("POST".equalsIgnoreCase(request.getMethod())) {
       // Form was submitted.
       out.println("<p>Settings saved</p>");
  -    
  +    /*
   	serverConfig.setDataStoreDirectory(request.getParameter("datastore_directory"));
   	serverConfig.setGBOLMappingFile(request.getParameter("mapping_file"));
   	serverConfig.setDefaultMinimumIntronSize(Integer.parseInt(request.getParameter("minimum_intron_size")));
  
positive.code: 	$("#user_manager_item").click(function() {
  		open_user_manager_dialog();
  	});
  	
  	initialize_config_settings();
  
  	cleanup_user_item();
  } );
  
  
  function initialize_config_settings() {
  	$("#datastore_directory").attr("value","<% out.print(serverConfig.getDataStoreDirectory()); %>");
  	$("#mapping_file").attr("value","<% out.print(serverConfig.getGBOLMappingFile()); %>");
  	$("#minimum_intron_size").attr("value","<% out.print(serverConfig.getDefaultMinimumIntronSize()); %>");
  
negative.code: 	serverConfig.setUseCDS(Boolean.parseBoolean(request.getParameter("use_cds_for_new_transcripts")));
  	serverConfig.setTrackNameComparator(request.getParameter("track_name_comparator"));
  	
  	ServerConfiguration.UserDatabaseConfiguration udc=
  			serverConfig.new UserDatabaseConfiguration(
  			request.getParameter("database_driver"),
  			request.getParameter("database_url"),
  