Invariant Properties » Embedded KDC Server using Apache MiniKDC