JDala - A Simple Capability System for Java - Smit, Quinten; Dietrich, Jens; Homer, Michael; Fawcet, Andrew; Noble, James (2025 IEEE International Conference on Software Maintenance and Evolution (ICSME), Software Maintenance and Evolution (ICSME), 2025 IEEE International Conference on, ICSME, 2025)