A script invoke jml4c to compile java. Corprated with ExternalBuilder plugin