Made Eclipse mirror optional