Add some javadoc to Debug.java