Temporary TraitVector Java compatibility fix