Merging modifications in DebugUtilities.java