Text this: Supporting Java programming in the Svace static analyzer