fixed issue #64: JNDI - NoInitialContextException with Tomcat, introduced gretty.enableNaming property