What is the name of this font used in Android Studio for classes Deprecated?

Question

My question will seem a little strange, but I would like to know what fontFamily is used by Android Studio to mark a deprecated class. I will send an example of the AsyncTask of