GWT 编译器优化选项的默认值是多少?

What is the default value for the GWT compiler optimize option?

GWT 有一个 optimize 编译器选项,在官方文档 here 中引用。它表示从 0 ("none") 到 9 ("maximum") 的范围。与许多其他选项不同,没有指示默认值。如果未指定,此选项的默认值是多少?

默认的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;
}