add test for JdtReadModel