There's no point to `@default` as far as I can tell, it does neither help FlashDevelop nor dox when generating API docs. I actually removed the remaining `@default` tags from the core today.