use @override and @deprecated from dart:core