conversion of java type