Just to complete my story, I've got JNDI working again by reverting to a prior version of the maven-jetty-plugin. I forced maven to use version 6.1.7 (by adding a version tag), viz:
<groupId>org.mortbay.jetty</groupId> <artifactId>maven-jetty-plugin</artifactId> <version>6.1.7</version>
