convenience for java