Alter javadoc formatting on AnimatedGifEncoder