handle truncated Java symbols