AF3ExplorationSMTActivator.java db8c07de55429ead58b5127affc48232e31819d3 GREEN
