Note: /home/eric/CodeRobot/projects/ProGuard/src/proguard/gui/splash/OverrideGraphics2D.java uses or overrides a deprecated API.
Note: Recompile with -deprecation for details.
Note: proguard/gui/splash/OverrideGraphics2D.java uses or overrides a deprecated API.
Note: Recompile with -deprecation for details.