javadb/targets/Linux.properties
changeset 172 43ae72f88d06
parent 110 e1bc09732fa3