[Java] Interface EditorLocationT extends EditorDocument