General-purpose utility Java classes