time/mem usage in runjava.py