--- old/make/idea/template/workspace.xml 2020-04-29 12:10:53.092610817 +0200 +++ /dev/null 2020-02-11 10:29:13.086348146 +0100 @@ -1,64 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - --- /dev/null 2020-02-11 10:29:13.086348146 +0100 +++ new/make/ide/idea/jdk/template/workspace.xml 2020-04-29 12:10:52.724610819 +0200 @@ -0,0 +1,64 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +