docs: private static String unescapeString(String str){
          if(str.startsWith("\"") && str.endsWith("\"")){
              String s = str.replaceAll("\\\\\"", "\"");
              return s.substring(1, s.length() -1);
          }
          return null;
      }