Some Java helping utilities