Added 'synchronized' to isBanketFinished