oops
quick fix to bug noticed by @tombentley with static members of Java