public static void setPermgenSize(JvmElement element, String value) { element.setPermgenSize(value); }