Update RandomColoringDiv2.java