AnimationManager.play will now call Animation.stop on the current animation before switching to the new one (thanks @nihakue, #713)