javarepl script