There's no way to reproduce it from here. These build failures come in clusters; repeating the exact same build seems to eventually succeed. My working hypothesis is that there's a resource exhaustion problem, which is resolved when the server gets spun down and replaced.
-- You received this message because you are subscribed to the Google Groups "CodenameOne Discussions" group. To unsubscribe from this group and stop receiving emails from it, send an email to codenameone-discussions+unsubscr...@googlegroups.com. Visit this group at https://groups.google.com/group/codenameone-discussions. To view this discussion on the web visit https://groups.google.com/d/msgid/codenameone-discussions/a74d7072-6578-433e-9e61-ed7a1ea038f3%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
