This also seems like it would never be used in practice. Android is all Java 5 but who knows what manufacturer has broken `getMtu`...