Fix #944: Test javalibEx also in fullOptStage