code: private static void registerDeviceForJacorb(final String name) throws DevFailed {
          // Get the 3 fields of device name
          final StringTokenizer st = new StringTokenizer(name, "/");
          final String[] field = new String[3];
          for (int i = 0; i < 3 && st.countTokens() > 0; i++) {
              field[i] = st.nextToken();
          }
  
          // After a header used by JacORB, in the device name
          // the '/' char must be replaced by another separator
          final String separator = "&%25";
          final String targetname = ORBManager.SERVER_IMPL_NAME + "/" + ORBManager.NODB_POA + "/" + field[0] + separator
                  + field[1] + separator + field[2];
          // And set the JacORB objectKeyMap HashMap
          final org.jacorb.orb.ORB jacorb = (org.jacorb.orb.ORB) ORBManager.getOrb();
          jacorb.addObjectKey(name, targetname);
      }
docs: WARNING: The following code is JacORB specific. Add device name in HashTable used for JacORB objectKeyMap if
  _UseDb==false.
  
  @param name
  The device's name.
  @throws DevFailed