Juergen Hoeller 0b76b13d88 Polishing ...

(cherry picked from commit 5fee5f3)

2016-12-01 18:53:23 +01:00

..

main

Polishing

2016-12-01 18:53:23 +01:00

test

Revised checkResource implementation

2016-09-18 21:24:11 +02:00