private static String checkLabelName(CompileInfo ci, String name){
		name = name.trim();
		if(name.isEmpty()){
			makeDiagnostic(ci, Kind.ERROR, "empty.label", name);//$NON-NLS-1$
			return "!error!";
		}
		for(int i=0; i<name.length(); i++){
			char c = name.charAt(i);
			if(!((c>='A' && c<='Z') || (c>='a' && c<='z') || c=='_' || (c>='0' && c<='9'))){
				makeDiagnostic(ci, Kind.WARNING, "label.with.bad.characters", name);//$NON-NLS-1$
				break;
			}
		}
		return name.toLowerCase();
	}