tree 968e868edd0561a00f9c6fa957b64b86a4bf902e
parent cfdd8091913291545f19d5f3e717a35f98d97371
author Christopher Gerking <christopher.gerking@kit.edu> 1632122451 +0200
committer Christopher Gerking <christopher.gerking@kit.edu> 1637568449 +0100

[574706] Use class loading lock for synchronization