OperatorPreemptive corrected
small change made to checkIfResourceIsAvailable() method of the objectResource