OS-dependent java name