jenv options-file

Detect the file that sets the current jenv jvm options