EclEmma - Developer Documentation