PL/Java example of user-defined types.