Updated to the latest julia-core.
Merge branch 'master' of https://github.com/JuliaSoft/julia-web

Conflicts:
	src/com/juliasoft/julia/servlet/Competition2010.java
	src/com/juliasoft/julia/servlet/CompetitionOnlyCLP.java
	src/com/juliasoft/julia/servlet/OlivoAnalysis.java
	src/com/juliasoft/julia/servlet/TerminationOnlyCLP.java
	src/com/juliasoft/julia/servlet/flex/ChecksAnalysis.java
	src/com/juliasoft/julia/servlet/flex/NonTerminationAnalysis.java
	src/com/juliasoft/julia/servlet/flex/NullnessAnalysis.java
	src/com/juliasoft/julia/servlet/flex/TerminationAnalysis.java
	src/com/juliasoft/julia/servlet/flex/graphics/FlexGfx.java

src/com/juliasoft/julia/servlet/flex/graphics/FlexUnspecifiedTicker.java