Arndt 686d693103 some more cleanup and performance squeezing		2016-08-26 08:40:52 +02:00
..
java/btools/mapaccess	some more cleanup and performance squeezing	2016-08-26 08:40:52 +02:00