JRebel settings