These properties are specified even if `JavaBinPath` is set.