JBMini Settings: CPU Time in States