function checkForJavaException(){
	var java_exception = $("java_exception");
	if (java_exception || java_exception!=null){
		window.location.href = "/Welcome.do";
	}
}