Nothing to see here - just converting leading whitespace to tabs (to
keep things consistent with the rest of the java code).