This patch adds the Animation interface and adds a 'source' attribute to AnimationPlayer that refers to this class.