JDK配置的属性