Merge pull request github#6681 from hvitved/java/files-folders-drop-columns

Java: Drop redundant columns from `files` and `folders` relations

Author: hvitved

java/ql/lib/config/semmlecode.dbscheme

@@ -231,16 +231,12 @@ numlines(
 
 files(
   unique int id: @file,
-  string name: string ref,
-  string simple: string ref,
-  string ext: string ref,
-  int fromSource: int ref // deprecated
+  string name: string ref
 );
 
 folders(
   unique int id: @folder,
-  string name: string ref,
-  string simple: string ref
+  string name: string ref
 );
 
 @container = @folder | @file