Under the Hood of “Default Interface Methods”