Assertion: resource | /r/HasProperty | closed
Facets:
value: regardless of
type: OTHER
Source sentences:
text: A resource is an object that must be closed after the program is finished with it.
text: Prior to Java SE 7, you can use a finally block to ensure that a resource is closed regardless of whether the try statement completes normally or abruptly.