Is there a reason why spring-extensions/.classpath was not updated to java 7 ? I assume just an oversight. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://shibboleth.net/pipermail/dev/attachments/20130228/71b54869/attachment-0001.html