Yes, it needs to be a def, because of the way `PropertyStore` is implemented (see comment on `storage`, and [#1001241](https://www.assembla.com/spaces/scala-ide/tickets/1001241#/activity/ticket:)). I will add a comment.