I gave it an initial try with trying to move the legacy JNDI code to PicketBox api, given that it is likely I'll need to work with PicketLink too (which sits on top of PocketBox as far as I understand), so the question is how to specify the configuration file :
https://community.jboss.org/thread/152423
thanks, Sergey