question: check kdc udp setting and see if any bad . concode_field_sep KdcConfig kdcConfig concode_elem_sep BackendConfig backendConfig concode_elem_sep KOptions startupOptions concode_field_sep int getKdcTcpPort concode_elem_sep int getKdcPort concode_elem_sep String getKdcRealm concode_elem_sep int checkGetKdcTcpPort concode_elem_sep int getKdcUdpPort concode_elem_sep boolean allowTcp concode_elem_sep boolean allowUdp concode_elem_sep KdcConfig getKdcConfig concode_elem_sep String getKdcHost concode_elem_sep BackendConfig getBackendConfig
target: int function ( ) { if ( allowUdp ( ) ) { int loc0 = getKdcUdpPort ( ) ; if ( loc0 < 1 ) { throw new KrbException ( "srini_string" ) ; } return loc0 ; } return - 1 ; }