code: private String trimTo1(String string) {
  
  		while (string.startsWith("\"\"") && string.endsWith("\"\"")) {
  
  			string = string.substring(1, string.length() - 1);
  		}
  		return string;
  	}
docs: method to trim a string of its leading or trailing quotes but one
  
  @param string
  - to be trimmed
  @return the string left with one leading and trailing quote