semanticdb moved into state directory.