[ jEdit-devel ] using string.intern

[Jarek C. <jar...@po...>]

I think about String.intern and its disadvantage. It adds strings to the 
pool, but never frees them. So after hours (days?) of using jedit it may 
grow significantly. Maybe it should be replaced, sometime, with a custom 
string pool, allowing for releasing of strings.

All of this is "maybe", but I wanted to share this doubt.

Jarek