Resource.close() unless this resource has
already been closed and unless Resource.onBeforeClose() throws an
exception.Resource.close() unless this resource has
already been closed.getOrElse(null), but probably more
efficient.Copyright © 2012–2015 Schlichtherle IT Services. All rights reserved.