drexin 308428e7bc removed calls to deprecated Props constructor in java code		2013-05-02 17:00:44 +02:00
..
main	fix formatting of Java API in doc comments + genjavadoc 0.3	2013-03-07 09:05:55 +01:00
test	removed calls to deprecated Props constructor in java code	2013-05-02 17:00:44 +02:00