Fixed JNDI name for pool when there's already prefixed name

- then we remove the prefix from the second part.

Signed-off-by: David Matějček <david.matejcek@omnifish.ee>

appserver/connectors/connectors-runtime/src/main/java/com/sun/enterprise/connectors/service/ConnectorAdminServiceUtils.java

@@ -83,9 +83,9 @@ public static ResourcePrincipalDescriptor getDefaultResourcePrincipal(PoolInfo p
     private static SimpleJndiName getReservePrefixedJNDIName(String prefix, Comparable<?> resourceName) {
         return new SimpleJndiName(prefix + resourceName);
     }
-
     public static SimpleJndiName getReservePrefixedJNDINameForPool(PoolInfo poolInfo) {
-        SimpleJndiName name = getReservePrefixedJNDIName(ConnectorConstants.POOLS_JNDINAME_PREFIX, poolInfo.getName());
+        SimpleJndiName jndiName = poolInfo.getName().removePrefix();
+        SimpleJndiName name = getReservePrefixedJNDIName(POOLS_JNDINAME_PREFIX, jndiName);
         return getScopedName(poolInfo, name);
     }