anchor.diff:  %% from <em>Refactor</em>, Wrangler will then prompt for the new macro name.
   %% </p> 
   
  +
  +-spec(intro_new_var/6::(filename(), pos(), pos(), string(), [dir()], integer()) ->
  +	      {error, string()} | {ok, string()}).
  +intro_new_var(FileName, Start, End, NewVarName, SearchPaths, TabWidth) -> 
  +    try_refactoring(refac_intro_new_var, intro_new_var, [FileName, Start, End, NewVarName, SearchPaths, TabWidth]).
  +
  +%%@private
  +-spec(intro_new_var_eclipse/6::(filename(), pos(), pos(), string(), [dir()], integer()) ->
  +	      {error, string()} | {ok, [{filename(), filename(), string()}]}).
  +intro_new_var_eclipse(FileName, Start, End, NewVarName, SearchPaths, TabWidth) -> 
  +    try_refactoring(refac_intro_new_var, intro_new_var, [FileName, Start, End, NewVarName, SearchPaths, TabWidth]).
  +
  +
   -spec(new_macro/6::(filename(), pos(), pos(), string(), [dir()], integer()) ->
   	      {error, string()} | {ok, string()}).
   new_macro(FileName, Start, End, MacroName, SearchPaths, TabWidth) -> 
       try_refactoring(refac_new_macro, new_macro, [FileName, Start, End, MacroName, SearchPaths, TabWidth]).
  -
   
   %%@private
   -spec(new_macro_eclipse/6::(filename(), pos(), pos(), string(), [dir()], integer()) ->
  
positive.code: 	 eqc_statem_to_record_eclipse/3,eqc_statem_to_record_1_eclipse/7,
  	 eqc_fsm_to_record_eclipse/3,eqc_fsm_to_record_1_eclipse/7,
  	 gen_fsm_to_record_eclipse/3,gen_fsm_to_record_1_eclipse/7,
  	 partition_exports_eclipse/4
  	]).
  
  -export([try_refactoring/3, get_log_msg/0]).
  
negative.code:      try_refactoring(wrangler_modularity_inspection, partition_exports, 
  		     [File, DistThreshold, SearchPaths, TabWidth]).
     
  %%@private; Interface function for eclipse.
  %% DisTreshold is a parameter inputted by the user:
  %% "Please input a distance threshould between 0 and 1.0 (default value: 0.8):"
  -spec(partition_exports_eclipse/4::(File::filename(), DistTreshold::float(), 
  				    SearchPaths::[filename()|dir()], TabWidth::integer()) ->
  					 {error, string()}| {ok, [{filename(), filename(), string()}]}). 	  
  