Miscellaneous stuff related to Java data types.