(int encoding)
| 519 | // encoding is listed first as a hint to the server that it is the |
| 520 | // preferred one |
| 521 | public void setPreferredEncoding(int encoding) |
| 522 | { |
| 523 | if (preferredEncoding == encoding) |
| 524 | return; |
| 525 | |
| 526 | preferredEncoding = encoding; |
| 527 | encodingChange = true; |
| 528 | } |
| 529 | |
| 530 | public int getPreferredEncoding() |
| 531 | { |
no outgoing calls
no test coverage detected