 bdb71d828f
			
		
	
	
		bdb71d828f
		
	
	
	
	
		
			
			It was changed in preferences.xml, but not in the manifest and in the default case in the Java code.
 bdb71d828f
			
		
	
	
		bdb71d828f
		
	
	
	
	
		
			
			It was changed in preferences.xml, but not in the manifest and in the default case in the Java code.