docs: private static String translateEjbName(String ejbName)
      {
          // trim leading and trailing blanks
          ejbName = ejbName.trim();
          // limits to the first Max_EjbName_Size characters
          int len = ejbName.length();
          if (len > Max_EjbName_Size)
          {
              len = Max_EjbName_Size;
          }
          // translate non-alphanumeric characters to "_"
          char translated[] = new char[len];
          for (int i = 0; i < len; ++i)
          {
              char curChar = ejbName.charAt(i);
              translated[i] = Character.isLetterOrDigit(curChar) ? curChar : '_';
          }
          return new String(translated);
      }