ljacqu dd9312f581 Minor improvements in tool tasks ...

- Use java 8 types in UpdateDocsTask
- Simplify permissions page writing task to write to the file without any options
- Various minor simplifications (Java 8) to avoid casting etc.

2016-10-08 00:39:11 +02:00

..

UpdateDocsTask.java

Minor improvements in tool tasks

2016-10-08 00:39:11 +02:00