docs: private static String nameTrim(String in)
      {
          in = in.trim();
          if(in.startsWith("'") || in.startsWith("\""))
              in = in.substring(1);
          if(in.endsWith("'") || in.startsWith("\""))
              in = in.substring(0, in.length()-1);
          return in.trim();
      }