DefaultToolOptions: option for ceylon/ceylon-compiler#1641