Method: readSpecification(ILexLocation, boolean)

ERROR: Error while reading the sourcefile!