Developer Resources - dice-project/DICE-Simulation GitHub Wiki Building from sources Eclipse and Java versions compatibility