For more details on the above entries, please refer to the comments in the jip.xml deployment descriptor.
You can add another server-specific deployment descriptor where you can map the resource names for the above entries to the JNDI names.