Fix details in javadoc and test @override attributes