Handle zero-length Java symbol. Fixes #48.