was配置jndi数据源