restoring ModifierEditorInput.java