On 30 Apr 2012, at 16:48, Andrew Brunner wrote: > This problem did not exist a few days ago. Can you be more precise? I just checked with trunk from before the jvmbackend merge (which is from Thursday), and that one also gives an error. Jonas