// version 25:

import module java.base;

public class ModuleImport {}