On 02 Jun 2012, at 16:26, leledumbo wrote: > I saw a big commit merging jvmbackend branch into the main branch. Is it > stable already? It's as stable as the jvmbackend branch was (with even already some extra fixes in the mean time), so there's no problem with deleting your checkout of the jvmbackend branch. Jonas