From JLS 8.4.2. "Method Signature" it follows that a subsignature test should take into account method names.

Neither javax.lang.model.type.ExecutableType carries name information, nor Types.isSubsignature accepts it. As a result, the test reports false positives.

If it's no longer possible to change this API, then the API should clearly indicate its divergence from JLS.