[WARN] Lost communication with remote process ?

Anybody any idea what to do with the following error:

I haven't seen this before, I see it since GWT 2.8. It occurs sometimes between permutation 15-16 and sometimes between 11-12 like the exception below.

However, it ends with success, strange, and the application does work.

I receive it when it's been build by Jenkins.

Any idea what it is and how to solve it ?

- Ed

---------------

[INFO]             Compiling permutation 10...  [INFO]          Compiling  [INFO]             Compiling permutation 11...  [INFO]       [WARN] Lost communication with remote process  [INFO] java.io.EOFException  [INFO] 	at java.io.ObjectInputStream$BlockDataInputStream.peekByte(ObjectInputStream.java:2601)  [INFO] 	at java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1319)  [INFO] 	at java.io.ObjectInputStream.readObject(ObjectInputStream.java:371)  [INFO] 	at com.google.gwt.dev.ExternalPermutationWorkerFactory$ExternalPermutationWorker.compile(ExternalPermutationWorkerFactory.java:154)  [INFO] 	at com.google.gwt.dev.PermutationWorkerFactory$Manager$WorkerThread.run(PermutationWorkerFactory.java:74)  [INFO] 	at java.lang.Thread.run(Thread.java:745)  [INFO]       Compiling permutation 12...  [INFO]          Compiling  [INFO]             Compiling permutation 13...  [INFO]       Compiling permutation 14...  [INFO]          Compiling  [INFO]             Compiling permutation 15...  [INFO]       Compiling permutation 16...  [INFO]          Compiling  [INFO]             Compiling permutation 17...  [INFO]       Compiling permutation 18...  [INFO]          Compiling  [INFO]             Compiling permutation 10...  [INFO]    Compile of permutations succeeded  [INFO]    Compilation succeeded -- 866.139s  [INFO] Linking into /home/develop/gwt/work/prod/total/plus  [INFO]    Link succeeded  [INFO]    Linking succeeded -- 14.454s  

--
You received this message because you are subscribed to the Google Groups "GWT Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit+unsubscribe@googlegroups.com.
To post to this group, send email to google-web-toolkit@googlegroups.com.
Visit this group at https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.