class DevPath {

    /**
     * The /dev filesystem location.
     */
    public static final String DEV = queryDevConfig() + "/";

    public static final String DISK_BY_UUID = DEV + "disk/by-uuid";
    public static final String DM = DEV + "dm";
    public static final String LOOP = DEV + "loop";
    public static final String MAPPER = DEV + "mapper/";
    public static final String RAM = DEV + "ram";

    private DevPath() {
    }

    private static String queryDevConfig() {<FILL_FUNCTION_BODY>}
}

        String devPath = GlobalConfig.get(GlobalConfig.OSHI_UTIL_DEV_PATH, "/dev");
        // Ensure prefix begins with path separator, but doesn't end with one
        devPath = '/' + devPath.replaceAll("/$|^/", "");
        if (!new File(devPath).exists()) {
            throw new GlobalConfig.PropertyException(GlobalConfig.OSHI_UTIL_DEV_PATH, "The path does not exist");
        }
        return devPath;
    
<no_super_class>