True modules for Java-like languages.