fix the java guaratee