Add implementation of get_proc_pid to Java API.