code: public static String stripDoubleQuotes(String s)
      {
          String ret = s;
          if(hasDoubleQuotes(s))
              ret = s.substring(1, s.length()-1);
          return ret;
      }
docs: Returns the given string with leading and trailing quotes removed.
  @param s The string to have leading and trailing quotes removed
  @return The given string with leading and trailing quotes removed