The 

master

 branch of 

inline-java

 does not contain the path 

src/linear-types/Language/Java/Inline/Safe.hs.