I've finally tracked down the code in question. Kerberos authentication currently only supports (username, password) authentication and not keytab authentication. The username can't be a compound name (e.g., bob/postgres) either.
I'll pencil in some time to work on a patch to the PostgreSQL JDBC driver.
Bear