Miscellaneous Java utilities