أرسل هذا في رسالة قصيرة: Supporting Java programming in the Svace static analyzer