Hi Andreas: > On 07 Nov 2014, at 14:49, Andreas Woess <andreas.woess at jku.at> wrote: > > thanks for the detailed bug report. We've already found the problem and will work on a fix. I’ll get back to you once it's ready. Thanks a lot! Stefan -- Stefan Marr INRIA Lille - Nord Europe http://stefan-marr.de/research/