use java ident