am 9757e3d7: Merge "Make it easy to change the default GC type."

* commit '9757e3d7488d88a27dc33331d4c7242e6092e739':
  Make it easy to change the default GC type.