Каково значение по умолчанию для параметра оптимизации компилятора GWT?

Question

GWT имеет опцию компилятора optimize, упомянутую в официальных документах here. Он указывает диапазон от 0 («нет») до 9 («максимум»). В отличие от многих других параметров, по умолчанию не указывается. Каково значение по умолчанию для этой опции, если оно не указано?

Answer 1

source code indicates, что по умолчанию 9, но они думают об изменении его до 8.

/** 
* An option that can indicates to restrict optimization in favor of a 
* faster compile time. 
*/ 

public interface OptionOptimize { 
    int OPTIMIZE_LEVEL_DRAFT = 0; 
    // TODO(stalcup): change the default to 8 to balance time and shrinkage. 
    int OPTIMIZE_LEVEL_DEFAULT = 9; 
    int OPTIMIZE_LEVEL_MAX = 9; 
}