This discussion addressed my original doubts about hiding default methods from the reflection API. If something along the line discussed here is done for Proxies, then that puts one less requirement for exposing default methods through the reflection API.