There was something wrong with my setup. Jaikiran, the solution you suggested works. Thank you very much for your help.
Reply to this message by going to Community
Start a new discussion in JNDI and Naming at Community