tree 8767564d269db733c6eb1df75c2fde9e287bba67
parent 8953803ece6cec9545d597ff037c58328791bc89
author Dani Megert <dmegert> 1421318922 +0100
committer Dani Megert <dmegert> 1421318922 +0100

Fixed bug 457538: Enable Label Decoration: Java Type Decorator by default