add @protected and @override annotations