Wouldn’t it be nice if all Java classes that you use, including your own, lived up to their promises? In fact, wouldn’t it be nice if you actually knew exactly what a given class promises? If you ...