karser/jdgui-source-line-fixer

JDGUI outputs *.java files with messed up line numbers. This fixes the jdgui output.

Java