window_sizes 1920 1017 450 1465 860 104
show_stereotypes
selected class_ref 134669 // ManagerAutomatu
open
classview_ref 128014 // domain
classview_ref 128002 // design
end