[weberc2]

Only for Java, not Python. And in any case, the cache performance will still be worse, but that’s a more minor cost.