#534 refresh ceylon config after direct edit