Minor improvements in java.net.URI

- use String.equalsIgnoreCase() instead of hand-written code relying on String.charAt()
- use String.compareToIgnoreCase() instead of hand-written code relying on String.charAt()
- drop branches that are never executed
- drop unused argument from URI.resolvePath()
- simplify String-related operations