hi @ all, fyi: don't worry about the jenkins builds. the builds which used to work aren't broken - just the new version of jenkins has a bug. the jenkins team fixed it and our infrastructure team is aware of it.
regards, gerhard http://www.irian.at Your JSF/JavaEE powerhouse - JavaEE Consulting, Development and Courses in English and German Professional Support for Apache MyFaces
