Towards an industrial grade IVE for Java and next generation research platform for JML