ServerGUI now only updates on change in displayed LogType
Merge commit 'cba4e4abcc56500a4f9a26865417614a4eb96351' into til
reconnecting
reconnecting
Merge remote-tracking branch 'origin/jan' into jan
Merge commit 'cba4e4abcc56500a4f9a26865417614a4eb96351' into jan
Merge commit '61e2c405ecb616b17a3d046220c026bca05b580c'
not needed anymore
not abstract
ip + no abstract
Merge commit '392fdc47410e413a5f4ceef61c48b92417256424'
Merge commit 'e1cf3e6da13242686a0f4a8ed29a087b7929a2f3' into til
Better, safer use of Properties in GameObjects.

GameObject now has "public Property<T> useProperty(...)", which encapsulates addProperty(...) and getProperty(...). The latter methods are now private;

Handler no longer has useProperty(...)

Property itself (which is a GameObject by inheritance) will throw UnsupportedOperationException on a call to its useProperty(...), thereby precluding a recursive use of Properties (= there will be no properties of properties, period.)
(telnet-able setup for server)
Merge commit 'bb7a4a16557bba19453e2bcf69ff1d98df305e88'
Merge commit 'c4d6f1a61ab2bc83dcbb0de4032f7a1382057343' into jan
PlayerData, HealthHandler
GETPLAYER now works
player manager
Merge commit 'fb74bd437ad8b2a53c33897b8181439756cb63f2'