avoid Java assertion failure