This must be due to a bug in Java, but it should be fixed in the coming version of the editor.
Meanwhile you should run the editor from the command line to define the [font=courier new]java.util.Arrays.useLegacyMergeSort[/font] to [font=courier new]true[/font], with a command of the form: