489490491492493494495496497498
public static synchronized void addConsole ( Console console ) { if ( console_ == null ) console_ = console; else { CascadedConsole cc = new CascadedConsole ( console_, console ); console_ = cc; } }
504505506507508509510511512513