1. 2011-12-07 [ jEdit-devel ] [ jedit-Bugs-3396545 ] NumberFormatEx jedit-dev SourceForge.net 2. 2011-12-07 [ jEdit-devel ] [ jedit-Bugs-3396545 ] NumberFormatEx jedit-dev SourceForge.net 3. 2011-08-29 [ jEdit-devel ] [ jedit-Bugs-3396545 ] NumberFormatEx jedit-dev SourceForge.net 4. 2011-08-29 [ jEdit-devel ] [ jedit-Bugs-3396545 ] NumberFormatEx jedit-dev SourceForge.net