private void updatePts(int pts) { logger.info("update pts from {0} to {1}", this.pts, pts); lock(this) { this.pts = pts; } }