It's called 'jAnimation Flash Tools' and has some awesome features that will most definitely speed up the animation workflow in flash. It's free and any flash animator should definitely check it out....