more Java friendliness