-- Default cache size
cache_size: 20

	-- Class AST cache size
ast_cache: 20
	-- Body AST cache size
body_cache: 20
	-- Byte code cache size
byte_cache: 20
	-- Class info cache size
class_info_cache: 20
	-- Dependency unit cache size
depend_cache: 20
	-- DEL Eiffel history cache size
dle_eiffel_history: 20
	-- Eiffel_history cache size
eiffel_history: 20
	-- Feature table cache for server size
feat_tbl_cache: 20
	-- Feature table cache for tmp_server size
tmp_feat_tbl_cache: 20
	-- Invariant AST cache size
inv_ast_cache: 20
	-- Invariant byte code cache size
inv_byte_cache: 20
	-- Melted descriptor table cache size
m_desc_cache: 20
	-- Melted feature table cache size
m_feat_tbl_cache: 20
	-- Melted features cache size
m_feature_cache: 20
	-- Melted routine table cache size
m_rout_id_cache: 20
	-- Poly server cache size
poly_cache: 20
	-- Rep server cache size
rep_cache: 20
	-- Rep depend server cache size
rep_depend_cache: 20
	-- Rep feature server cache size
rep_feat_cache: 20
	-- Rep info server cache size
rep_info_cache: 20
	-- Server control cache size
server_control: 20
	-- Stat call server cache size
stat_call_cache: 20

automatic_backup: False
graphics_disabled: False
tabs_disabled: True
--windows_timer_delay: 10
fail_on_rescue: False
period: 11
topo: True