completion oddity

[Keith Seitz]

On 16 Aug 2001, Tom Tromey wrote:

> Completions:
> java_decode_option java_decode_option java_decode_option java_decode_option java_decode_option
>
>
> This is a bug, because all these completions are the same.

Ugh. People in gdb land have been playing with completions to make them
more robust... Give me a minute or two and I'll see if I can fix it up.
(If that's possible any more, that is...)

Keith