Code Macro's formatting getting changed in the WYSIWYG editor in 1.7

I have noticed that java code within the code macro is getting control characters inserted into it when you use the WYSIWYG editor.

I have tried to use the new GWT WYSIWYG editor but cannot find the macro option in the toolbar.

So,

The following code:

class myfirstjavaprog
{
public static void main(String args[])

{ System.out.println("Hello World!"); }

}

has the '[' and ']' character changed to args&#91 and args&#93

when it is saved through the WYSIWYG editor