Message11673

When you print a Java map to the console the representation of strings looses the quotes e.g:
    >>> str = 'hello world'
    >>> str
    'hello world'  <<<<<<<<<<<<<<<< Has quotes
    >>> from java.lang import String
    >>> jstr = String('hello world')
    >>> jstr
    hello world  <<<<<<<<<<<<<<<<<< Missing quotes?

    >>> from java.util import HashMap
    >>> hm = HashMap({'a': 1, 'b': 2, 'c': 3})
    >>> hm
    {a: 1, b: 2, c: 3}  <<<<<<<<<<<<<<<<<< Missing quotes?
    >>> m = {'a': 1, 'b': 2, 'c': 3}
    >>> m
    {'a': 1, 'b': 2, 'c': 3}  <<<<<<<<<<<<<<<< Has quotes

I noticed this playing with maps but is this intended?