JDala - A Simple Capability System for Java. - Quinten Smit; Jens Dietrich 001; Michael Homer; Andrew Fawcet; James Noble 001 (ICSME, 2025)