diff options
Diffstat (limited to 'recipes/concierge/files/fix-EE-string.patch')
| -rw-r--r-- | recipes/concierge/files/fix-EE-string.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/recipes/concierge/files/fix-EE-string.patch b/recipes/concierge/files/fix-EE-string.patch new file mode 100644 index 0000000000..9c04eb5710 --- /dev/null +++ b/recipes/concierge/files/fix-EE-string.patch @@ -0,0 +1,13 @@ +Index: framework/src/main/java/ch/ethz/iks/concierge/framework/Framework.java +=================================================================== +--- framework.orig/src/main/java/ch/ethz/iks/concierge/framework/Framework.java ++++ framework/src/main/java/ch/ethz/iks/concierge/framework/Framework.java +@@ -624,7 +624,7 @@ public final class Framework {
+ case 7:
+ myEEs.append("J2SE-1.7,");
+ case 6:
+- myEEs.append("J2SE-1.6,");
++ myEEs.append("JavaSE-1.6,");
+ case 5:
+ myEEs.append("J2SE-1.5,");
+ case 4:
|