Variability Modules for Java-like Languages (Artifact) - Ferruccio Damiani (2021)