A replacement for the IMP based frege eclipse plugin