Added JavaDoc for DebugManager()