4.0.0 org.pushingpixels trident 1.2 Swing animation library Swing animation library