Hello. > If that is ruled out, I'd post a minimal working example as a bug in > github. Eric has been upgrading the Java front-end and you may have hit > an edge case. Yes that might be. If the bug persists, please paste a full example into the tracker on Github. Thanks! Cheers, Eric