adapted for the latest intellijeval plugin