FYI: I'm (temporarily) switching the Jenkins build to Java 7 because of BUILDS-85.
Andreas --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
