more complete JavaDoc for AnimatedButton & ButtonAction