Optimise String usage using String.intern
Merge pull request #1280 from emmanuel-keller/1.5

Optimise String usage using String.intern