bug fixed in project controller: isProjectOpened() returned wrong result