AppletLoader: replace appletlogo.png with appletlogo.gif (43% smaller)
Authored by: kappa1 2011-02-20
Parent: [r3492]
Child: [r3494]