org.jedit.core

Interface MigrationService