+1 +1 Chengrui has been fixing many JVMTI bugs and would be a valuable addition to the TPTP project as a committer. Voting summary: http://portal.eclipse.org/