default String[] getJvmSuggestOptionsAsArray() {
        return JvmUtil.filterJvmOptions(getJvmSuggestOptions().split("\n"));
    }

    String getJvmThumbnailOptions();

    default String[] getJvmThumbnailOptionsAsArray() {
        return JvmUtil.filterJvmOptions(getJvmThumbnailOptions().split("\n"));
    }

    String getCrawlerDocumentHtmlPrunedTags();

    default PrunedTag[] getCrawlerDocumentHtmlPrunedTagsAsArray() {