*** 264,10 *** --- 264,15 --- /** * Warn about module system related issues. */ MODULE("module", Property.ENABLED_BY_DEFAULT), + /** + * Warn about issues related to migration of JDK classes. + */ + MIGRATION("migration"), + /** * Warn about issues regarding module opens. */ OPENS("opens", Property.ENABLED_BY_DEFAULT),