Java SWF transformation library with ABC support