永农化工:JRE是什么东西,有什么用?