diff -r 7fcb9d12e181 -r 0c3e6e66881f server/src/main/webapp/static/js/admin_form.js
--- a/server/src/main/webapp/static/js/admin_form.js	Wed Jun 25 15:37:02 2014 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-function showformErrors(errors) {
-    $(".form-error").remove();
-    
-    $.each(errors,function(k,v){
-        $("#"+k).after('<div class="form-error">'+v+'</div>');
-    });
-    $(".form-error").effect("highlight", {}, 1500);
-}
-
-
-function formatJson(jsonText, tabSize) {
-    var obj = JSON.parse(jsonText);
-    return JSON.stringify(obj, undefined, tabSize);
-}
-function compactJson(jsonText) {
-    var obj = JSON.parse(jsonText);
-    return JSON.stringify(obj);
-}