Further modifies JDI API to suit third-party extension