java-module A model of Java module system - module, required modules, exported packages, services provided and used.