bummer.. yeah i’d looked into the jrebel option a while ago and didn’t find it faster either.