java 1.6 compatibility

It looks like Character.isAlphabetic was only introduced in Java 1.7,
and Character.isLetter seems to be a more or less adequate replacement.