got the solution:
Properties implements interface Map<
String, String>.
Collections.synchronizedMap(), however, returns a Map<Object, Object>, so casting to Properties won't be possible (-> covariance of generics).
Since Properties also extends class Hashtable<String, String> and Hashtable is synchronized use its put() and get()-methods instead of
the unsynchronized setProperty()- and getProperty()-methods of class Properties.