add jenv; checkpoint