UNOFFICIAL source for: Spring engine based in-game tools useful to developers