if (javaVersion != null) {
            final String[] split = javaVersion.split("[\\._]");
            if (split.length > 0) {
                version = Integer.parseInt(split[0]);
                if (version == 1 && split.length > 1) {
                    version = Integer.parseInt(split[1]);
                }
            }
        }
        return version;
    }

        registerModifiedProperty("createdTime");
        this.createdTime = value;
    }

    public Integer getSortOrder() {
        checkSpecifiedProperty("sortOrder");
        return sortOrder;
    }

    public void setSortOrder(Integer value) {
        registerModifiedProperty("sortOrder");
        this.sortOrder = value;
    }

    public String getUpdatedBy() {

	VWMACCUSVX	V2, X10, V3			// d76125fa
	VWMACCUSVX	V2, X10, V0, V3			// d76125f8

	// 31.11.15: Vector Integer Merge Instructions
	VMERGEVVM	V1, V2, V0, V3			// d781205c
	VMERGEVXM	X10, V2, V0, V3			// d741255c
	VMERGEVIM	$15, V2, V0, V3			// d7b1275c

	// 31.11.16: Vector Integer Move Instructions
	VMVVV		V2, V3				// d701015e
	VMVVX		X10, V3				// d741055e
	VMVVI		$15, V3				// d7b1075e

        assertEquals("DFS resolution failed", ex.getMessage());
        verify(handle, times(1)).ensureDFSResolved();
    }

    @ParameterizedTest
    @ValueSource(ints = { 0, 1, -1, Integer.MIN_VALUE, Integer.MAX_VALUE })
    @DisplayName("hasCapability(cap): returns configured value and captures argument across edge caps")
    void hasCapability_variousCaps_returnsTrue_andCapturesArgument(int cap) throws Exception {

    public SearchBody() {
        super();
    }

    /** The URL that failed during crawling */
    public String url;

    /** Minimum error count filter */
    public Integer errorCountMin;

    /** Maximum error count filter */
    public Integer errorCountMax;

    /** Name or type of the error */
    public String errorName;

            @Override
            public String getQueryBoostFuzzyMinLength() {
                return baseConfig.getQueryBoostFuzzyMinLength();
            }

            @Override
            public Integer getQueryBoostFuzzyMinLengthAsInteger() {
                return baseConfig.getQueryBoostFuzzyMinLengthAsInteger();
            }

            @Override
            public String getQueryBoostFuzzyTitlePrefixLength() {

            String s = policy.substring(UPDATE_POLICY_INTERVAL.length() + 1);
            return Integer.parseInt(s);
        } else {
            return Integer.MAX_VALUE;
        }
    }

     *
     * @return A list of page numbers.
     */
    public List<Integer> getPageNumberList() {
        return pageNumberList;
    }

    /**
     * Sets the list of page numbers for navigation.
     *
     * @param pageNumberList A list of page numbers.
     */
    public void setPageNumberList(final List<Integer> pageNumberList) {
        this.pageNumberList = pageNumberList;
    }

     * @return The list of page numbers.
     */
    public List<Integer> getPageNumberList() {
        return pageNumberList;
    }

    /**
     * Sets the list of page numbers.
     * @param pageNumberList The list of page numbers.
     */
    public void setPageNumberList(final List<Integer> pageNumberList) {
        this.pageNumberList = pageNumberList;
    }

    /**

        assertEquals(1, dataconfigpager.getCurrentPageNumber());
        dataconfigpager.setCurrentPageNumber(999);
        assertEquals(999, dataconfigpager.getCurrentPageNumber());
        List<Integer> pageNumberList = new ArrayList<Integer>(1);
        dataconfigpager.setPageNumberList(pageNumberList);
        assertEquals(pageNumberList, dataconfigpager.getPageNumberList());
        assertEquals(25, dataconfigpager.getDefaultPageSize());