Often, it is difficult to recognize that a method is an implementation method of a public API method. Yet, special care needs to be taken when editing these methods, so that the public API's contract is fulfilled. So, it would be good to introduce a new javac-internal annotation @DefinedBy, and mark the implementations of the public API methods using this annotation.