javatypes, no tests