Made JVM options settable in .tmcrc.