java永真断言