String rotation in Java.