Bug#748039: antelope: FTBFS with Java 8: cp: cannot stat 'debian/tmp/prep/docs/api': No such file or directory

[Emmanuel Bourg]

Control: tags -1 patch

Here is a patch fixing this issue. There was a non UTF-8 character
breaking the javadoc generation. Upstream replaced this character with
an Unicode escape sequence.


Description: Fix an ummappable character in UTF-8 breaking the javadoc task 
with Java 8
Origin: upstream, 
http://antelope.tigris.org/source/browse/antelope/trunk/src/ise/antelope/tasks/Op.java?r1=131&r2=171
--- a/src/ise/antelope/tasks/Op.java
+++ b/src/ise/antelope/tasks/Op.java
@@ -47,7 +47,7 @@
          operation = "subtract";
       else if (op.equals("*") || op.equals("x"))
          operation = "multiply";
-      else if (op.equals("/") || op.equals( "÷" ) )
+      else if (op.equals("/") || op.equals("\u00f7") )
          operation = "divide";
       else if (op.equals("%") || op.equals("\\"))
          operation = "mod";

signature.asc
Description: OpenPGP digital signature