kvedel/org.bitbucket.agdaeclipse.ui archive