Improved method mapping for String.compareTo(String)