This happpend during my Gump run last night, I'd expect the same to show up this afternoon (my time), when Sam posts his results.
Stefan Buildfile: build.xml useDate: splash: set-archive-name: set-archive-name-date: detect-jdk: check-jdk12proxy-classes: check-jndi-classes: use-jdk12: use-jdk13: use-jdk14: [echo] detected JDK 1.4 init: clean: [delete] Deleting directory /javastuff/gump/db-ojb/target jar: splash: set-archive-name: set-archive-name-date: detect-jdk: check-jdk12proxy-classes: check-jndi-classes: use-jdk12: use-jdk13: use-jdk14: [echo] detected JDK 1.4 init: prepare: [mkdir] Created dir: /javastuff/gump/db-ojb/target [mkdir] Created dir: /javastuff/gump/db-ojb/target/classes [mkdir] Created dir: /javastuff/gump/db-ojb/target/classestest [mkdir] Created dir: /javastuff/gump/db-ojb/target/classesjca [mkdir] Created dir: /javastuff/gump/db-ojb/dist [copy] Copying 608 files to /javastuff/gump/db-ojb/target/src [copy] Copying 253 files to /javastuff/gump/db-ojb/target/srctest [copy] Copying 10 files to /javastuff/gump/db-ojb/target/srcjca preprocess: [echo] using switches: +JDK13, +JDBC30 BUILD FAILED /javastuff/gump/db-ojb/build.xml:156: java.lang.SecurityException: Permission (java.util.PropertyPermission file.encoding read) was not granted. Total time: 47 seconds --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]