Vaadin 7 RC2 port of both legacy Animator and AnimatorProxy