#44 Doubled left parenthesis following label

[Matt Benson]

For some reason, if you end up with a label immediately
followed by a left parenthesis in Java mode, the
parenthesis will be doubled. So, the content of the
document is

label:(

but what you see in the textarea is

label:((

Since I'm not much for the TokenMarkers currently used
I am submitting this hoping somebody else will figure it
out.

-Matt