#Eigenschaftsdatei der Java DB 
#Sat Mar 27 18:07:27 CET 2010
