Rename deprecated DB property
Rename deprecated DB property

This was causing errors thrown when generating JS from the += block in pond-duck.

The old property uses getters and setters to deprecate to the new one, but not when compiled/renamed.  This is sadly unavoidable.

google/blockly-games,google/blockly-games,google/blockly-games,google/blockly-games