- EclipseLoaderPatcher.java
- EclipseLoaderPatcherTransplants.java
- EclipsePatcher.java
- ExtensionMethodCompletionProposal.java
- PatchDelegate.java
- PatchDelegatePortal.java
- PatchDiagnostics.java
- PatchExtensionMethod.java
- PatchExtensionMethodCompletionProposal.java
- PatchExtensionMethodCompletionProposalPortal.java
- PatchExtensionMethodPortal.java
- PatchFixesShadowLoaded.java
- PatchVal.java
- PatchValEclipse.java
- PatchValEclipsePortal.java
- package-info.java