java gif manipulator